alive-exec: warn if the output is (partially) undef
MODIFY
tools/alive-exec.cpp
tools/alive-exec.cpp
@@ -230,6 +230,11 @@ static void execFunction(llvm::Function &F, llvm::Triple &triple,
t.src.getType().printVal(cout, state, m[ret]);
cout << "\n\n";
}
+
+ s.block(m);
+ if (s.check().isSat()) {
+ cout << "WARNING: There are multiple return values\n\n";
+ }
++successCount;
return;
}

alive-exec: warn if the output is (partially) undef