Handles ftpd.c in wu-ftp without crashing.

Gives lots of spurious messages though.

diff --git a/src/exprChecks.c b/src/exprChecks.c
index b638d6fac3584a235864d07690f9d9f5af1a72dd..77bb93b49b3ce3dde834c261e99ab0c677a298f9 100644 (file)
--- a/src/exprChecks.c
+++ b/src/exprChecks.c
@@ -894,9 +894,9 @@ void exprNode_checkFunctionBody (exprNode body)
 void exprNode_checkFunction (/*@unused@*/ uentry ue, /*@only@*/ exprNode body)
 {
   constraintList c, t;
-  /* drl added 8-8-2000 */
 
-  //return;
+
+  //  return;
   
   exprNode_generateConstraints (body);
   

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;
            }