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!
