FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR tree-optimization/22625 (-ftree-vrp produces wrong code)

Browse source 
2005-07-22  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/22625
        * g++.dg/opt/vrp2.C: New test.

From-SVN: r102303
This commit is contained in:
Andrew Pinski 2005-07-23 02:20:30 +00:00 • committed by Andrew Pinski
parent 2188985147
commit 452f9012f4
2 changed files with 25 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2005-07-22 Andrew Pinski <pinskia@physics.uc.edu>
PR tree-opt/22625
* g++.dg/opt/vrp2.C: New test.
2005-07-22 Mark Mitchell <mark@codesourcery.com>
PR debug/21828

20
gcc/testsuite/g++.dg/opt/vrp2.C Normal file
View file

@ -0,0 +1,20 @@
/* { dg-do run } */
/* { dg-options "-O2" } */
/* VRP was miscompiling the following as it thought &a->b was a dereference
and therfore a was non-null.
Reduced from Mozilla by Serge Belyshev <belyshev@depni.sinp.msu.ru>. */
extern "C" void abort (void);
struct T { int i; } t;
struct A : T { int j; } q, *p = &q;
int main (void)
{
if (p == &t)
return 0;
if (p)
abort ();
return 0;
}