X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/10fac4bc6190bcda80bf75e7267cb456e5a8b772..210066f9dd04de7d7d2f04d320b39a52f28b290b:/src/usymtab.c

diff --git a/src/usymtab.c b/src/usymtab.c
index 7a3a097..1d26d49 100644
--- a/src/usymtab.c
+++ b/src/usymtab.c
@@ -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))