On 01/10/2013 03:13 AM, Richard Biener wrote:
Hmm, but if the SSA versions are simply i_10 then i_.*0 will still match it
the same? I think you want the more elaborate 'i_\[0-9\]* . 0' here?
Per Uros's suggestion I'm using i[0-9]+ to ensure we one or more digits.
Please also open a bug for the added XFAIL.
55936. Not sure if it's a regression or not -- Diego changed the
relevant code in tree-ssa-vrp around 2006. I didn't build a compiler
from that era to see if VRP caught everything in one pass.
jeff
