Werner Almesberger 9cafe23fb8 b2/: simplified and corrected logic behind relop_redundant ...

We now generate the operator map algorithmically, which is a bit less
classy than solving the logical equations, but easier to get right.

Also renamed the somewhat vague "redundant" to "unreachable".

2012-06-01 14:52:12 -03:00

2.6 KiB

Raw Blame History

View Raw