------- Comment #4 from law at redhat dot com 2006-03-27 17:09 -------
It seems to me that the fundamental problem is that the testcase manages
to stuff the value "3" into an object which is supposed to only have the
range [4, 5].
ie, if you put a breakpoint in C35507M.NEWCHARBRP and examine the first
parameter (ie A) you'll find that on the first call and second calls
"A" has the value 4 and 5 respectively. However, on the 3rd call it
has the value 3, which is clearly out of "A"'s range [3, 4].
I suspect there are similar issues with C35507M.CHARRP since it has
similar looking code.
Someone with a better knowledge of the Ada front-end, the langauge and the
testsuite is going to need to chime in at this point. From the data I see,
VRP is doing exactly what we want and expect it to do.
--
law at redhat dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |kenner at vlsi1 dot ultra
| |dot nyu dot edu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26797
