[Bug tree-optimization/54014] Value Range propagation bug

[ferrandi at elet dot polimi.it]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54014

--- Comment #6 from Fabrizio Ferrandi <ferrandi at elet dot polimi.it> 2012-07-19 09:11:31 UTC ---
Yes, you are right. I'm assuming a two complements arithmetic but without
passing the -fwrapv parameter. With that parameter my analysis is starting to
get correct results. I'm working on a Verilog backend based on gcc IR.
Thanks for your hints!