https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71947
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Thu Jul 21 13:00:32 2016 New Revision: 238591 URL: https://gcc.gnu.org/viewcvs?rev=238591&root=gcc&view=rev Log: 2016-07-21 Richard Biener <rguent...@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. Added: trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp102.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-vrp.c