Improved tracking of state change locations. Added +showdeephistory

[splint.git] / src / context.c

diff --git a/src/context.c b/src/context.c
index eed3a0571bb7839378d1eb3ed5d8c14f160da5d2..053a86e1ba60b10de7dab5e7b9ac1f05a50ca650 100644 (file)
--- a/src/context.c
+++ b/src/context.c
@@ -726,6 +726,8 @@ context_resetAllFlags (void)
              val = DEFAULT_LINELEN; break;
            case FLG_INDENTSPACES: 
              val = DEFAULT_INDENTSPACES; break;
+           case FLG_LOCINDENTSPACES: 
+             val = DEFAULT_LOCINDENTSPACES; break;
            case FLG_EXTERNALNAMELEN:
              val = ISO99_EXTERNALNAMELEN; break;
            case FLG_INTERNALNAMELEN:
@@ -885,6 +887,7 @@ context_resetAllFlags (void)
   gc.flags[FLG_WARNUNIXLIB] = TRUE;
   gc.flags[FLG_WARNPOSIX] = TRUE;
   gc.flags[FLG_SHOWCOL] = TRUE;
+  gc.flags[FLG_SHOWDEEPHISTORY] = FALSE; /* TRUE; */
   gc.flags[FLG_SHOWFUNC] = TRUE;
   gc.flags[FLG_SUPCOUNTS] = TRUE;
   gc.flags[FLG_HINTS] = TRUE;
@@ -1039,6 +1042,7 @@ context_setModeAux (cstring s, bool warn)
          FLG_UNSIGNEDCOMPARE,
          FLG_PARAMUNUSED, FLG_VARUNUSED, FLG_FUNCUNUSED, 
          FLG_TYPEUNUSED,
+         FLG_ABSTRACTCOMPARE,
          FLG_CONSTUNUSED, FLG_ENUMMEMUNUSED, FLG_FIELDUNUSED,
          FLG_PTRNUMCOMPARE, FLG_BOOLCOMPARE, FLG_UNSIGNEDCOMPARE,
          FLG_MUTREP, FLG_NOEFFECT, FLG_IMPTYPE, 
@@ -1143,6 +1147,7 @@ context_setModeAux (cstring s, bool warn)
        { 
          FLG_EXPORTLOCAL, FLG_IMPTYPE, 
          FLG_NUMABSTRACTCAST,
+         FLG_ABSTRACTCOMPARE,
          FLG_STATETRANSFER, FLG_STATEMERGE,
          FLG_CHECKSTRICTGLOBALIAS,
          FLG_CHECKEDGLOBALIAS,
@@ -1238,6 +1243,7 @@ context_setModeAux (cstring s, bool warn)
     {
       flagcode modeflags[] = 
        { 
+         FLG_ABSTRACTCOMPARE,
          FLG_CHECKSTRICTGLOBALIAS, 
          FLG_NUMABSTRACTCAST,
          FLG_CHECKEDGLOBALIAS,