gcc-4.9/gcc/testsuite/g++.dg/opt/vrp2.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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; } *p = __null;

int main (void)
{
  if (p == &t)
    return 0;
  if (p)
    abort ();
  return 0;
}