Fix SsaOptimizer case for CallFunction of constant that is not a FuncVal

titzer · Dec 17, 2024 · 8b8287c · 8b8287c
1 parent 4531320
commit 8b8287c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/aeneas/src/main/Version.v3 b/aeneas/src/main/Version.v3
@@ -3,6 +3,6 @@
 
 // Updated by VCS scripts. DO NOT EDIT.
 component Version {
-	def version: string = "III-7.1777";
+	def version: string = "III-7.1778";
 	var buildData: string;
 }
diff --git a/aeneas/src/ssa/SsaOptimizer.v3 b/aeneas/src/ssa/SsaOptimizer.v3
@@ -991,7 +991,7 @@ class SsaInstrReducer(context: SsaContext) extends SsaInstrMatcher {
 				if (SsaThrow.?(target)) return target;
 				state.kill();
 				var xval = unop(i);
-				if (xconst) {
+				if (xconst && FuncVal.?(xval)) {
 					var d = FuncVal.!(xval);
 					if (d == null) return addThrow(i.source, V3Exception.NullCheck);
 					// CallFunction(#K) => CallMethod