gcc/testsuite/gcc.dg/tree-ssa/20050719-1.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

/* { dg-do run } */
/* { dg-options "-O2" } */

extern void abort (void) __attribute__ ((__nothrow__)) __attribute__
((__noreturn__));
extern void exit (int __status) __attribute__ ((__nothrow__))
__attribute__ ((__noreturn__));

struct bootLoader {
  int x;
};

void
zap(struct bootLoader *bootLoader)
{
  /* The expression on the RHS of the assignment is *not* a
     dereference of pointer 'bootLoader'.  It is merely used as an
     offset calculation.  VRP was erroneously removing the if()
     because it thought that 'bootLoader' was always dereferenced.  */
  int *boot = &bootLoader->x;

  if (bootLoader)
    {
      useboot (boot);
    }
}

int
useboot (void *boot)
{
  abort ();
}

main()
{
  zap (0);
  return 0;
}