Replace assert(false) with UNREACHABLE

mgudemann · mgudemann · commit 675461f5e3c1 · 2025-03-26T15:05:30.000+01:00
diff --git a/src/ic3/m1ain.cc b/src/ic3/m1ain.cc
@@ -242,7 +242,7 @@ int CompInfo::run_ic3()
       print_fclauses();
     break;
   default:
-    assert(false);
+    UNREACHABLE;
   }
   if (statistics) {
     printf("*********\n");
diff --git a/src/ic3/p5ick_lit.cc b/src/ic3/p5ick_lit.cc
@@ -53,6 +53,5 @@ int CompInfo::fxd_ord_lit(CUBE &Curr,SCUBE &Tried)
       return(lit);
   }
 
-  assert(false); // shouldn't reach this line
-
+  UNREACHABLE;
 } /* end of function fxd_ord_lit */

Original file line number	Diff line number	Diff line change
`@@ -53,6 +53,5 @@ int CompInfo::fxd_ord_lit(CUBE &Curr,SCUBE &Tried)`
`53`	`53`	`return(lit);`
`54`	`54`	`}`
`55`	`55`
`56`		`- assert(false); // shouldn't reach this line`
`57`		`-`
	`56`	`+ UNREACHABLE;`
`58`	`57`	`} /* end of function fxd_ord_lit */`