]> andersk Git - splint.git/commitdiff
*** empty log message ***
authorevans <evans>
Thu, 5 Jul 2001 20:17:17 +0000 (20:17 +0000)
committerevans <evans>
Thu, 5 Jul 2001 20:17:17 +0000 (20:17 +0000)
src/transferChecks.c

index 635f4e0587ea8e5401da9b38c856bffefda96ca5..6aaad3977302bb4682fae6f046b7f53a4c372635 100644 (file)
@@ -4055,6 +4055,7 @@ checkMetaStateTransfer (exprNode fexp, sRef fref, exprNode texp, sRef tref,
            if (sRef_isLocalVar (tref) && transferType == TT_DOASSIGN)
              {
                /* Local assignments just replace state. */
+               DPRINTF (("No transfer error assigning to local: %s", msg));
                stateValue_updateValueLoc (tval, stateValue_getValue (fval), loc);
                DPRINTF (("Update: %s", stateValue_unparse (tval)));
              }
@@ -4064,7 +4065,7 @@ checkMetaStateTransfer (exprNode fexp, sRef fref, exprNode texp, sRef tref,
              }
            else
              {
-               DPRINTF (("Transfer to error: %s", sRef_unparseFull (tref)));
+               TPRINTF (("Transfer to error: %s", sRef_unparseFull (tref)));
                BADBRANCH;
              }
          }
This page took 0.048512 seconds and 5 git commands to generate.