]> andersk Git - splint.git/blobdiff - src/usymtab.c
Fixed problem with NULL being changed.
[splint.git] / src / usymtab.c
index 7a3a0974c7bca4b0d4e5b2b5687125d90f24692c..1d26d49de9f168f7d634709a2b73acf6e7ee21f4 100644 (file)
@@ -3818,6 +3818,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))
This page took 0.033485 seconds and 4 git commands to generate.