Added manual test cases.

[splint.git] / src / context.c

diff --git a/src/context.c b/src/context.c
index 360df33c0de645e433f60667a65a25218e2008ab..e3706c8632fa65330edfddb1c05b33ae9e46be5b 100644 (file)
--- a/src/context.c
+++ b/src/context.c
@@ -724,21 +724,21 @@ context_resetAllFlags (void)
            case FLG_INDENTSPACES: 
              val = DEFAULT_INDENTSPACES; break;
            case FLG_EXTERNALNAMELEN:
-             val = DEFAULT_EXTERNALNAMELEN; break;
+             val = ISO99_EXTERNALNAMELEN; break;
            case FLG_INTERNALNAMELEN:
-             val = DEFAULT_INTERNALNAMELEN; break;
+             val = ISO99_INTERNALNAMELEN; break;
            case FLG_COMMENTCHAR: 
              val = (int) DEFAULT_COMMENTCHAR; break;
            case FLG_CONTROLNESTDEPTH:
-             val = (int) DEFAULT_CONTROLNESTDEPTH; break;
+             val = (int) ISO99_CONTROLNESTDEPTH; break;
            case FLG_STRINGLITERALLEN:
-             val = (int) DEFAULT_STRINGLITERALLEN; break;
+             val = (int) ISO99_STRINGLITERALLEN; break;
            case FLG_INCLUDENEST:
-             val = (int) DEFAULT_INCLUDENEST; break;
+             val = (int) ISO99_INCLUDENEST; break;
            case FLG_NUMSTRUCTFIELDS:
-             val = (int) DEFAULT_NUMSTRUCTFIELDS; break;
+             val = (int) ISO99_NUMSTRUCTFIELDS; break;
            case FLG_NUMENUMMEMBERS:
-             val = (int) DEFAULT_NUMENUMMEMBERS; break;
+             val = (int) ISO99_NUMENUMMEMBERS; break;
            case FLG_EXPECT:
            case FLG_LCLEXPECT:
              break;
@@ -1035,7 +1035,9 @@ context_setMode (cstring s)
          FLG_EXPORTLOCAL,
 
          FLG_USERELEASED, FLG_ALIASUNIQUE, FLG_MAYALIASUNIQUE,
-         FLG_MUSTFREE, FLG_MUSTDEFINE, FLG_GLOBSTATE, 
+         FLG_MUSTFREEONLY, 
+         FLG_MUSTFREEFRESH,
+         FLG_MUSTDEFINE, FLG_GLOBSTATE, 
          FLG_COMPDESTROY, FLG_MUSTNOTALIAS,
          FLG_MEMIMPLICIT,
          FLG_BRANCHSTATE, 
@@ -1046,7 +1048,8 @@ context_setMode (cstring s)
          FLG_MODGLOBS, FLG_WARNLINTCOMMENTS,
          FLG_IFEMPTY, FLG_REALCOMPARE,
          FLG_BOOLOPS, FLG_PTRNEGATE,
-         FLG_SHIFTSIGNED,
+         FLG_SHIFTNEGATIVE,      
+         FLG_SHIFTIMPLEMENTATION,
          FLG_BUFFEROVERFLOWHIGH,
          FLG_BUFFEROVERFLOW,
          INVALID_FLAG 
@@ -1123,7 +1126,6 @@ context_setMode (cstring s)
          FLG_UNREACHABLE, 
          FLG_NORETURN, FLG_CASEBREAK, FLG_MISSCASE,
          FLG_EVALORDER, FLG_USEDEF, 
-
          FLG_NESTEDEXTERN, 
 
          /* warn use flags */
@@ -1157,7 +1159,9 @@ context_setMode (cstring s)
          FLG_IMMEDIATETRANS,
          FLG_ONLYUNQGLOBALTRANS,
          FLG_USERELEASED, FLG_ALIASUNIQUE, FLG_MAYALIASUNIQUE,
-         FLG_MUSTFREE, FLG_MUSTDEFINE, FLG_GLOBSTATE, 
+         FLG_MUSTFREEONLY,
+         FLG_MUSTFREEFRESH,
+         FLG_MUSTDEFINE, FLG_GLOBSTATE, 
          FLG_COMPDESTROY, FLG_MUSTNOTALIAS,
          FLG_MEMIMPLICIT,
          FLG_BRANCHSTATE, 
@@ -1169,7 +1173,8 @@ context_setMode (cstring s)
           FLG_MACROMATCHNAME, FLG_WARNLINTCOMMENTS,
          FLG_INCLUDENEST, FLG_ANSIRESERVED, FLG_CPPNAMES, 
          FLG_NOPARAMS, FLG_IFEMPTY, FLG_WHILEEMPTY, FLG_REALCOMPARE,
-         FLG_BOOLOPS, FLG_SHIFTSIGNED,
+         FLG_BOOLOPS, FLG_SHIFTNEGATIVE,
+         FLG_SHIFTIMPLEMENTATION,
          FLG_BUFFEROVERFLOWHIGH, FLG_BUFFEROVERFLOW,
          INVALID_FLAG } ;
 
@@ -1266,7 +1271,9 @@ context_setMode (cstring s)
          FLG_UNKNOWNINITTRANS,
 
          FLG_USERELEASED, FLG_ALIASUNIQUE, FLG_MAYALIASUNIQUE,
-         FLG_MUSTFREE, FLG_MUSTDEFINE, FLG_GLOBSTATE, 
+         FLG_MUSTFREEONLY,
+         FLG_MUSTFREEFRESH,
+         FLG_MUSTDEFINE, FLG_GLOBSTATE, 
          FLG_COMPDESTROY, FLG_MUSTNOTALIAS,
          FLG_MEMIMPLICIT,
          FLG_BRANCHSTATE, 
@@ -1295,7 +1302,9 @@ context_setMode (cstring s)
          FLG_REALCOMPARE, FLG_BOOLOPS,
          FLG_SYSTEMDIRERRORS, FLG_UNUSEDSPECIAL,
 
-         FLG_SHIFTSIGNED, FLG_BITWISEOPS,
+         FLG_SHIFTNEGATIVE,
+         FLG_SHIFTIMPLEMENTATION,
+         FLG_BITWISEOPS,
          FLG_BUFFEROVERFLOWHIGH, FLG_BUFFEROVERFLOW,
          INVALID_FLAG
        } ;
@@ -2745,10 +2754,9 @@ context_setValue (flagcode flag, int val)
     case FLG_INDENTSPACES:
       if (val < 0)
        {
-         
          llerror_flagWarning (message ("Value for %s must be a non-negative "
-                                   "number (given %d)",
-                                   flagcode_unparse (flag), val));
+                                       "number (given %d)",
+                                       flagcode_unparse (flag), val));
          return;
        }
 
@@ -3847,8 +3855,8 @@ context_setFlagAux (flagcode f, bool b, bool inFile,
       DOSET (FLG_SPECRETIMPONLY, b);
       DOSET (FLG_SPECSTRUCTIMPONLY, b);
       break;
-    case FLG_ANSILIMITS: 
-      DOSET (FLG_ANSILIMITS, b);
+    case FLG_ANSI89LIMITS: 
+      DOSET (FLG_ANSI89LIMITS, b);
       DOSET (FLG_CONTROLNESTDEPTH, b);
       DOSET (FLG_STRINGLITERALLEN, b);
       DOSET (FLG_INCLUDENEST, b);
@@ -3857,11 +3865,32 @@ context_setFlagAux (flagcode f, bool b, bool inFile,
       
       if (b)
        {
-         context_setValue (FLG_CONTROLNESTDEPTH, DEFAULT_CONTROLNESTDEPTH);
-         context_setValue (FLG_STRINGLITERALLEN, DEFAULT_STRINGLITERALLEN);
-         context_setValue (FLG_INCLUDENEST, DEFAULT_INCLUDENEST);
-         context_setValue (FLG_NUMSTRUCTFIELDS, DEFAULT_NUMSTRUCTFIELDS);
-         context_setValue (FLG_NUMENUMMEMBERS, DEFAULT_NUMENUMMEMBERS);
+         context_setValue (FLG_CONTROLNESTDEPTH, ANSI89_CONTROLNESTDEPTH);
+         context_setValue (FLG_STRINGLITERALLEN, ANSI89_STRINGLITERALLEN);
+         context_setValue (FLG_INCLUDENEST, ANSI89_INCLUDENEST);
+         context_setValue (FLG_NUMSTRUCTFIELDS, ANSI89_NUMSTRUCTFIELDS);
+         context_setValue (FLG_NUMENUMMEMBERS, ANSI89_NUMENUMMEMBERS);
+         context_setValue (FLG_EXTERNALNAMELEN, ANSI89_EXTERNALNAMELEN);
+         context_setValue (FLG_INTERNALNAMELEN, ANSI89_INTERNALNAMELEN);
+       }
+      break;
+    case FLG_ISO99LIMITS: 
+      DOSET (FLG_ISO99LIMITS, b);
+      DOSET (FLG_CONTROLNESTDEPTH, b);
+      DOSET (FLG_STRINGLITERALLEN, b);
+      DOSET (FLG_INCLUDENEST, b);
+      DOSET (FLG_NUMSTRUCTFIELDS, b);
+      DOSET (FLG_NUMENUMMEMBERS, b);
+      
+      if (b)
+       {
+         context_setValue (FLG_CONTROLNESTDEPTH, ISO99_CONTROLNESTDEPTH);
+         context_setValue (FLG_STRINGLITERALLEN, ISO99_STRINGLITERALLEN);
+         context_setValue (FLG_INCLUDENEST, ISO99_INCLUDENEST);
+         context_setValue (FLG_NUMSTRUCTFIELDS, ISO99_NUMSTRUCTFIELDS);
+         context_setValue (FLG_NUMENUMMEMBERS, ISO99_NUMENUMMEMBERS);
+         context_setValue (FLG_EXTERNALNAMELEN, ISO99_EXTERNALNAMELEN);
+         context_setValue (FLG_INTERNALNAMELEN, ISO99_INTERNALNAMELEN);
        }
       break;
     case FLG_EXTERNALNAMELEN:
@@ -3982,6 +4011,10 @@ context_setFlagAux (flagcode f, bool b, bool inFile,
       DOSET (FLG_NULLPASS, b);
       DOSET (FLG_NULLRET, b);
       break;
+    case FLG_MUSTFREE:
+      DOSET (FLG_MUSTFREEONLY, b);
+      DOSET (FLG_MUSTFREEFRESH, b);
+      break;
     case FLG_MEMCHECKS:
       DOSET (FLG_NULLSTATE, b);
       DOSET (FLG_NULLDEREF, b);
@@ -3995,7 +4028,8 @@ context_setFlagAux (flagcode f, bool b, bool inFile,
       DOSET (FLG_USERELEASED, b);
       DOSET (FLG_ALIASUNIQUE, b);
       DOSET (FLG_MAYALIASUNIQUE, b);
-      DOSET (FLG_MUSTFREE, b);
+      DOSET (FLG_MUSTFREEONLY, b);
+      DOSET (FLG_MUSTFREEFRESH, b);
       DOSET (FLG_MUSTDEFINE, b);
       DOSET (FLG_GLOBSTATE, b); 
       DOSET (FLG_COMPDESTROY, b);