fix: pointer expression in metasmtbuilder

metametamoon · metametamoon · commit d9cce39dfa84 · 2025-07-23T17:21:13.000+03:00
diff --git a/lib/Solver/MetaSMTBuilder.h b/lib/Solver/MetaSMTBuilder.h
@@ -658,7 +658,7 @@ MetaSMTBuilder<SolverContext>::constructActual(ref<Expr> e, int *width_out) {
   switch (e->getKind()) {
   case Expr::Pointer:
   case Expr::ConstantPointer: {
-    assert(0 && "unreachable");
+    return constructActual(e->getValue(), width_out);
   }
 
   case Expr::Constant: {

Original file line number	Diff line number	Diff line change
`@@ -658,7 +658,7 @@ MetaSMTBuilder<SolverContext>::constructActual(ref<Expr> e, int *width_out) {`
`658`	`658`	`switch (e->getKind()) {`
`659`	`659`	`case Expr::Pointer:`
`660`	`660`	`case Expr::ConstantPointer: {`
`661`		`- assert(0 && "unreachable");`
	`661`	`+ return constructActual(e->getValue(), width_out);`
`662`	`662`	`}`
`663`	`663`
`664`	`664`	`case Expr::Constant: {`