Index: src/ControlStruct/LabelGeneratorNew.cpp
===================================================================
--- src/ControlStruct/LabelGeneratorNew.cpp	(revision 3b0bc169405b67c6da2825bdc47c869fa9d0fd59)
+++ src/ControlStruct/LabelGeneratorNew.cpp	(revision fde0a583854b9d8d0c727dba8e9979347f11e82c)
@@ -10,6 +10,6 @@
 // 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,15 +28,15 @@
 	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