fix crash with tail calls

AliveToolkit · Oct 17, 2024 · e376bfc · e376bfc
1 parent e3ad4db
commit e376bfc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/ir/attrs.cpp b/ir/attrs.cpp
@@ -641,7 +641,7 @@ void TailCallInfo::check(State &s, const Instr &i,
   for (const auto &arg : args) {
     Pointer ptr(s.getMemory(), arg.val.value);
     s.addUB(arg.val.non_poison.implies(
-      (ptr.isStackAllocated() || ptr.isByval()).implies(arg.byval) &&
+      (ptr.isStackAllocated() || ptr.isByval()).implies(arg.byval != 0) &&
       true // TODO: check for !var_args
     ));
   }

diff --git a/ir/functions.h b/ir/functions.h
@@ -11,7 +11,7 @@ namespace IR {
 struct PtrInput {
   unsigned idx = 0;
   StateValue val;
-  smt::expr byval = false;
+  smt::expr byval = smt::expr::mkUInt(0, 1);
   smt::expr noread = false;
   smt::expr nowrite = false;
   smt::expr nocapture = false;