Fix the bool flag value given to parse_assume
MODIFY
tests/unit/call-error6.opt
tests/unit/call-error6.opt
@@ -18,4 +18,4 @@ ret i8 %d
assume(false)
ret i8 0
-; FIXME: this test should fail!
+; ERROR: Source is more defined than target

MODIFY
tools/alive_parser.cpp
tools/alive_parser.cpp
@@ -1146,10 +1146,10 @@ static void parse_fn(Function &f) {
while (true) {
switch (auto t = *tokenizer) {
case ASSUME:
- bb->addInstr(parse_assume(true));
+ bb->addInstr(parse_assume(false));
break;
case ASSUME_NON_POISON:
- bb->addInstr(parse_assume(false));
+ bb->addInstr(parse_assume(true));
break;
case LABEL:
bb = &f.getBB(yylval.str);

Fix the bool flag value given to parse_assume (#390)