Changeset c67158d7

Timestamp:

Jul 8, 2026, 5:54:34 PM (39 hours ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

d9235b6b

Parents:

0fd9c68

Message:

formatting, add -fwrapv compilation flag to fully define integer signed overflow

File:

• driver/cfa.cc (modified) (4 diffs)

driver/cfa.cc

@@ -10 +10 @@
 // Created On       : Tue Aug 20 13:44:49 2002
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Sep 28 21:53:54 2023
-// Update Count     : 484
+// Last Modified On : Wed Jul  8 17:45:04 2026
+// Update Count     : 487
 //
 
@@ -455 +455 @@
         } // if
 
-        args[nargs++] = "-fexceptions";                                         // add exception flags (unconditionally)
+        args[nargs++] = "-fexceptions";                                         // Generates code to propagate exceptions
+        args[nargs++] = "-fwrapv";                                                      // fully define integer signed overflow
         args[nargs++] = "-D_GNU_SOURCE";                                        // force gnu libraries
 
@@ -471 +472 @@
         } // if
 
-        if ( CFA_flag ) {
-                Putenv( argv, "-N" );
-                Putenv( argv, "-CFA" );
-                // -CFA implies cc1 stage 2, but gcc does not pass the -o file to this stage because it believe the file is for
-                // the linker. Hence, the -o file is explicit passed to cc1 stage 2 and used as cfa-cpp's output file.
-                if ( o_file ) Putenv( argv, string( "-o=" ) + argv[o_file] );
-        } else {
-                Putenv( argv, "-L" );
-        } // if
-
         if ( debug ) {
                 heading += " (debug)";
@@ -486 +477 @@
         } else {
                 heading += " (no debug)";
+        } // if
+
+        if ( CFA_flag ) {
+                Putenv( argv, "-N" );
+                Putenv( argv, "-CFA" );
+                // -CFA implies cc1 stage 2, but gcc does not pass the -o file to this stage because it believes the file is for
+                // the linker. Hence, the -o file is explicit passed to cc1 stage 2 and used as cfa-cpp's output file.
+                if ( o_file ) Putenv( argv, string( "-o=" ) + argv[o_file] );
+        } else {
+                Putenv( argv, "-L" );
         } // if