This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/21289] A numeric range is spoiled by a symblic one in VRP
- From: "kazu at cs dot umass dot edu" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 14 May 2005 19:40:04 -0000
- Subject: [Bug tree-optimization/21289] A numeric range is spoiled by a symblic one in VRP
- References: <20050429191405.21289.kazu@cs.umass.edu>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From kazu at cs dot umass dot edu 2005-05-14 19:40 -------
Another case of a numeric value range spoiled by a symbolic one:
int
foo (int a, int b)
{
if (a == 0)
return 0;
if (a == b)
if (a == 0)
return 123;
return 456;
}
Reduced from c-common.c.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21289