[Bug tree-optimization/26797] [4.2 Regression] ACATS c35507m cd2a23e cxh1001 failures

[law at redhat dot com]

------- 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