------- Comment #12 from rguenth at gcc dot gnu dot org 2008-04-07 09:00 ------- This is because the oracle is confused by the link_error () call which clobbers *ex2 and *ex1. Note that SCCVN does not consider control-dependence as it considers all edges executable all the time.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2480