From 3443e76da39f23c998c9ead3119caadb410197ba Mon Sep 17 00:00:00 2001 From: evans1629 Date: Thu, 7 Feb 2002 00:02:52 +0000 Subject: [PATCH] Fixed bug with FIELDASSIGN --- src/transferChecks.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/transferChecks.c b/src/transferChecks.c index d460691..85c6148 100644 --- 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); } -- 2.45.2