Handles ftpd.c in wu-ftp without crashing.

[splint.git] / src / uentry.c

diff --git a/src/uentry.c b/src/uentry.c
index d8c6a78f2e8bd0294b932f7e47024e9fa6e42138..823b9ea65775bfef2da6034a1ea2f715f2772487 100644 (file)
--- a/src/uentry.c
+++ b/src/uentry.c
@@ -570,11 +570,13 @@ constraintList uentry_getFcnPreconditions (uentry ue)
              uentry_makeVarFunction (ue);
            }
 
-         llassert (uentry_isFunction (ue));
+         //llassert (uentry_isFunction (ue));
          //llassert ((ue->info->fcn->preconditions));
 
          if (!uentry_isFunction (ue))
            {
+             BPRINTF ( (message ("called uentry_getFcnPreconditions on nonfunction %s",
+                                 uentry_unparse (ue) ) ) );
              return constraintList_undefined;
            }