URL
https://opencores.org/ocsvn/openrisc_me/openrisc_me/trunk
Subversion Repositories openrisc_me
[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [g++.dg/] [opt/] [vrp2.C] - Rev 316
Go to most recent revision | Compare with Previous | Blame | View Log
/* { 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; } *p = __null;
int main (void)
{
if (p == &t)
return 0;
if (p)
abort ();
return 0;
}
Go to most recent revision | Compare with Previous | Blame | View Log