tree-vrp.c
303 KB
-
re PR tree-optimization/71947 (x ^ y not folded to 0 if x == y by DOM) · 959cef742016-07-21 Richard Biener <rguenther@suse.de> PR tree-optimization/71947 * tree-vrp.c (extract_range_from_assert): Singleton symbolic ranges have useful limit_vr information. * gcc.dg/tree-ssa/vrp102.c: New testcase. From-SVN: r238591
Richard Biener committed