Changeset 372b6d3

Timestamp:

Apr 10, 2023, 9:25:21 PM (20 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, master

Children:

6adeb5f

Parents:

8472c6c

Message:

add -invariant/--invariant flag to enable invariant checking during AST passes

Files:

• driver/cfa.cc (modified) (3 diffs)
• src/CompilationState.cc (modified) (2 diffs)
• src/CompilationState.h (modified) (2 diffs)
• src/main.cc (modified) (5 diffs)

driver/cfa.cc

@@ -10 +10 @@
 // Created On       : Tue Aug 20 13:44:49 2002
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Feb 14 22:46:38 2023
-// Update Count     : 470
+// Last Modified On : Mon Apr 10 21:16:00 2023
+// Update Count     : 476
 //
 
@@ -198 +198 @@
                                 } // if
                         } else if ( arg == "-CFA" ) {
-                                CFA_flag = true;                                                // strip the -CFA flag
+                                CFA_flag = true;                                                // strip -CFA flag
                                 link = false;
                                 args[nargs++] = "-fsyntax-only";                // stop after stage 2
                         } else if ( arg == "-debug" ) {
-                                debug = true;                                                   // strip the debug flag
+                                debug = true;                                                   // strip debug flag
                         } else if ( arg == "-nodebug" ) {
-                                debug = false;                                                  // strip the nodebug flag
+                                debug = false;                                                  // strip nodebug flag
                         } else if ( arg == "-quiet" ) {
-                                quiet = true;                                                   // strip the quiet flag
+                                quiet = true;                                                   // strip quiet flag
                         } else if ( arg == "-noquiet" ) {
-                                quiet = false;                                                  // strip the noquiet flag
+                                quiet = false;                                                  // strip noquiet flag
+                        } else if ( arg == "-invariant" ) {
+                                Putenv( argv, "-" + arg );
+                        } else if ( arg == "--invariant" ) {
+                                Putenv( argv, arg );
                         } else if ( arg == "-no-include-stdhdr" ) {
-                                noincstd_flag = true;                                   // strip the no-include-stdhdr flag
+                                noincstd_flag = true;                                   // strip no-include-stdhdr flag
                         } else if ( arg == "-nolib" ) {
-                                nolib = true;                                                   // strip the nolib flag
+                                nolib = true;                                                   // strip nolib flag
                         } else if ( arg == "-help" ) {
-                                help = true;                                                    // strip the help flag
+                                help = true;                                                    // strip help flag
                         } else if ( arg == "-nohelp" ) {
-                                help = false;                                                   // strip the nohelp flag
+                                help = false;                                                   // strip nohelp flag
                         } else if ( arg == "-cfalib") {
                                 compiling_libs = true;
@@ -274 +278 @@
                                 } // if
                         } else if ( prefix( arg, "-B" ) ) {
-                                bprefix = arg.substr(2);                                // strip the -B flag
+                                bprefix = arg.substr(2);                                // strip -B flag
                         } else if ( arg == "-c" || arg == "-S" || arg == "-E" || arg == "-M" || arg == "-MM" ) {
                                 args[nargs++] = argv[i];                                // pass flag along

src/CompilationState.cc

@@ -9 +9 @@
 // Author           : Rob Schluntz
 // Created On       : Mon Ju1 30 10:47:01 2018
-// Last Modified By : Henry Xue
-// Last Modified On : Tue Jul 20 04:27:35 2021
-// Update Count     : 5
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Mon Apr 10 19:12:50 2023
+// Update Count     : 6
 //
 
@@ -27 +27 @@
         expraltp = false,
         genericsp = false,
+        invariant = false,
         libcfap = false,
         nopreludep = false,

src/CompilationState.h

@@ -9 +9 @@
 // Author           : Rob Schluntz
 // Created On       : Mon Ju1 30 10:47:01 2018
-// Last Modified By : Henry Xue
-// Last Modified On : Tue Jul 20 04:27:35 2021
-// Update Count     : 5
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Mon Apr 10 19:12:53 2023
+// Update Count     : 6
 //
 
@@ -26 +26 @@
         expraltp,
         genericsp,
+        invariant,
         libcfap,
         nopreludep,

src/main.cc

@@ -9 +9 @@
 // Author           : Peter Buhr and Rob Schluntz
 // Created On       : Fri May 15 23:12:02 2015
-// Last Modified By : Andrew Beach
-// Last Modified On : Thr Feb 16 10:08:00 2023
-// Update Count     : 680
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Mon Apr 10 21:12:17 2023
+// Update Count     : 682
 //
 
@@ -504 +504 @@
 
 
-static const char optstring[] = ":c:ghlLmNnpdP:S:twW:D:";
+static const char optstring[] = ":c:ghilLmNnpdP:S:twW:D:";
 
 enum { PreludeDir = 128 };
@@ -511 +511 @@
         { "gdb", no_argument, nullptr, 'g' },
         { "help", no_argument, nullptr, 'h' },
+        { "invariant", no_argument, nullptr, 'i' },
         { "libcfa", no_argument, nullptr, 'l' },
         { "linemarks", no_argument, nullptr, 'L' },
-        { "no-main", no_argument, 0, 'm' },
+        { "no-main", no_argument, nullptr, 'm' },
         { "no-linemarks", no_argument, nullptr, 'N' },
         { "no-prelude", no_argument, nullptr, 'n' },
@@ -532 +533 @@
         "wait for gdb to attach",                                                       // -g
         "print translator help message",                                        // -h
+        "invariant checking during AST passes",                         // -i
         "generate libcfa.c",                                                            // -l
         "generate line marks",                                                          // -L
@@ -625 +627 @@
                         usage( argv );                                                          // no return
                         break;
+                  case 'i':                                                                             // invariant checking
+                        invariant = true;
+                        break;
                   case 'l':                                                                             // generate libcfa.c
                         libcfap = true;