Fixed bug with FIELDASSIGN

diff --git a/src/transferChecks.c b/src/transferChecks.c
index d46069123b03f53005564636d5f8c042aa8b1ec0..85c6148ad8f9909cb7688b11fcc7ae071a0ff04a 100644 (file)
--- a/src/transferChecks.c
+++ b/src/transferChecks.c
@@ -505,8 +505,8 @@ checkCompletelyDefined (exprNode fexp, /*@exposed@*/ sRef fref, sRef ofref,
            {
              ; /* no error (will be a definition error) */
            }
-         else if (transferType == TT_DOASSIGN || transferType == TT_FIELDASSIGN)
-           /* evans 2002-02-05 - added TT_FIELDASSIGN */
+         else if (transferType == TT_DOASSIGN
+                  || transferType == TT_FIELDASSIGN) /* evans 2002-02-05 - added TT_FIELDASSIGN */
            {
              ; /* no error */
            }
@@ -776,7 +776,7 @@ checkCompletelyDefined (exprNode fexp, /*@exposed@*/ sRef fref, sRef ofref,
       else
        {
          llassert (transferType == TT_DOASSIGN
-                   || transferType == TT_FIELDASSIGN /* evans 2002-02-05 */
+                   || transferType == TT_FIELDASSIGN /* evans 2002-02-05: no warnings for local fields */
                    || transferType == TT_GLOBINIT
                    || transferType == TT_LEAVETRANS);
        }