Fixed internal errors for field assignments --- this is a temporary fix,

[splint.git] / src / transferChecks.c

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