X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/8ea5df88d4d589854cfd2cf734e203ce58da744d..909cf5eb75a37820d441f670ee02a6e0c42944fc:/src/transferChecks.c

diff --git a/src/transferChecks.c b/src/transferChecks.c
index 0f27d78..7a22b2a 100644
--- a/src/transferChecks.c
+++ b/src/transferChecks.c
@@ -3417,6 +3417,12 @@ checkTransferAux (exprNode fexp, /*@exposed@*/ sRef fref, bool ffix,
   bool isfcnpass = (transferType == TT_FCNPASS);
   bool isfcnreturn = (transferType == TT_FCNRETURN);
 
+  DPRINTF (("Check transfer: %s [%s] => %s [%s]",
+	    exprNode_unparse (fexp),
+	    sRef_unparseFull (fref),
+	    exprNode_unparse (texp),
+	    sRef_unparseFull (tref)));
+
   setCodePoint ();
 
   if (!ffix && !tfix)
@@ -4452,7 +4458,9 @@ bool transferChecks_canLoseReference (/*@dependent@*/ sRef sr, fileloc loc)
 {
   bool gotone = FALSE;
   sRefSet ab = usymtab_aliasedBy (sr); /* yes, really mean aliasedBy */
-    
+
+  DPRINTF (("Aliased by: %s", sRefSet_unparse (ab)));
+
   /*
   ** if there is a local variable that aliases sr, then there is no
   ** error.  Make the local an only.