Changeset fde0a58 for src/ControlStruct

Timestamp:

Feb 2, 2022, 10:11:44 AM (3 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum

Children:

436bbe5

Parents:

3b0bc16

Message:

change assert to assertf

File:

• src/ControlStruct/LabelGeneratorNew.cpp (modified) (2 diffs)

src/ControlStruct/LabelGeneratorNew.cpp ¶

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Jan 31 18:51:10 2022
-// Update Count     : 71
+// Last Modified On : Wed Feb  2 09:11:17 2022
+// Update Count     : 72
 //
 
@@ -28 +28 @@
         static int current = 0;
 
-        assert( ( (void)"CFA internal error: parameter statement cannot be null pointer", stmt ) );
+        assertf( stmt, "CFA internal error: parameter statement cannot be null pointer" );
 
         enum { size = 128 };
         char buf[size];                                                                         // space to build label
         int len = snprintf( buf, size, "__L%d__%s", current++, suffix.c_str() );
-        assert( ( (void)"CFA Internal error: buffer overflow creating label", len < size ) );
+        assertf( len < size, "CFA Internal error: buffer overflow creating label" );
 
         // What does this do?
         if ( ! stmt->labels.empty() ) {
                 len = snprintf( buf + len, size - len, "_%s__", stmt->labels.front().name.c_str() );
-                assert( ( (void)"CFA Internal error: buffer overflow creating label", len < size - len ) );
+                assertf( len < size - len, "CFA Internal error: buffer overflow creating label" );
         } // if