Verified Commit 64a5f548 authored by Tim Gymnich's avatar Tim Gymnich
Browse files

added nondeterministic assignment to applyReturnInst

parent 86534c59
......@@ -94,6 +94,8 @@ void AffineRelation::applyReturnInst(Instruction const& inst) {
} else {
affineAssignment(&inst, 1, ret_val, 0);
}
} else {
nonDeterminsticAssignment(&inst);
}
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment