Subversion Repositories openrisc

/* { 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;
}