noexpand always false.

[splint.git] / src / usymtab.c

diff --git a/src/usymtab.c b/src/usymtab.c
index 0243fb34d8ed02ae097ae54bbb7baacba4d78450..5033ec4e8e12e2a2330532eb85267147dbf28432 100644 (file)
--- a/src/usymtab.c
+++ b/src/usymtab.c
@@ -2009,11 +2009,7 @@ void usymtab_load (FILE *f)
 
       while ((c = *s) != '\0' && (c !='\n'))
        {
-         if (c != ' ' || c != '\t') 
-           {
-             llbuglit ("Junk in load file");
-           }
-
+         llbuglit ("Junk in load file");
          s++;
        }
 
@@ -2749,6 +2745,10 @@ usymtab_popAndBranch (exprNode pred, /*@unused@*/ exprNode expr)
        }
     }
 
+  DPRINTF (("Popping and: %s / %s",
+           guardSet_unparse (utab->guards),
+           guardSet_unparse (exprNode_getGuards (pred))));
+
   utab->guards = guardSet_levelUnionFree (utab->guards, 
                                          guardSet_invert (exprNode_getGuards (pred)), 
                                          utab->lexlevel);
@@ -3814,6 +3814,10 @@ checkGlobalReturn (uentry glob, sRef orig)
                    }
                }
              
+             DPRINTF (("Here: %s / %s",
+                       uentry_unparseFull (glob),
+                       sRef_unparseFull (sr)));
+
              if (ctype_isRealPointer (uentry_getType (glob))
                  && sRef_possiblyNull (sr)
                  && !uentry_possiblyNull (glob))