2 /* { dg-options "-O2" } */
4 extern void abort (void) __attribute__ ((__nothrow__)) __attribute__
6 extern void exit (int __status) __attribute__ ((__nothrow__))
7 __attribute__ ((__noreturn__));
14 zap(struct bootLoader *bootLoader)
16 /* The expression on the RHS of the assignment is *not* a
17 dereference of pointer 'bootLoader'. It is merely used as an
18 offset calculation. VRP was erroneously removing the if()
19 because it thought that 'bootLoader' was always dereferenced. */
20 int *boot = &bootLoader->x;