Verified Commit a2f98b8e authored by Tim Gymnich's avatar Tim Gymnich
Browse files

setting state before merge prevents merge

parent af7f9c20
......@@ -172,8 +172,8 @@ void executeFixpointAlgorithm(Module const& M) {
dbgs(1) << " Merging function parameters, is entry block\n";
// if it is the entry node, then its state should be top
state_new.isBottom = false;
state_new.merge(merge_op, node.state);
state_new.isBottom = false;
}
dbgs(1) << " Merge of " << pred_size(node.basic_block)
......
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