Commit fd21db77 authored by Christoph Mallon's avatar Christoph Mallon
Browse files

Correct bug in Mux-case of fixpoint VRP: This z must be an o.

parent 854e2559
......@@ -438,7 +438,7 @@ result_unknown_X:
o = f->o;
} else {
z = tarval_or( f->z, t->z);
z = tarval_and(f->o, t->o);
o = tarval_and(f->o, t->o);
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