Correct bug in Mux-case of fixpoint VRP: This z must be an o.
authorChristoph Mallon <christoph.mallon@gmx.de>
Mon, 12 Apr 2010 19:29:34 +0000 (19:29 +0000)
committerChristoph Mallon <christoph.mallon@gmx.de>
Mon, 12 Apr 2010 19:29:34 +0000 (19:29 +0000)
commitfd21db77664ee6df924065a2be16eba3cbbbd0ae
treef40f942cbccc96142770dd83fe0dbbe7cd5285aa
parent854e25593766c0e302befc8e397d99861cf90710
Correct bug in Mux-case of fixpoint VRP: This z must be an o.

[r27383]
ir/opt/fp-vrp.c