1  /* { dg-do run } */
       2  /* { dg-options "-mno-plt" } */
       3  
       4  extern void abort (void);
       5  
       6  struct lispstruct
       7  {
       8    int e;
       9    int t;
      10  };
      11  
      12  struct lispstruct Cnil_body;
      13  struct lispstruct Ct_body;
      14  int nvalues;
      15  
      16  struct lispstruct * __attribute__ ((noinline))
      17  fLlistp (struct lispstruct *x0)
      18  {
      19    if (x0 == &Cnil_body
      20        || (((unsigned long) x0 >= 0x80000000) ? 0
      21  	  : (!x0->e ? (x0 != &Cnil_body) : x0->t)))
      22      x0 = &Ct_body;
      23    else
      24      x0 = &Cnil_body;
      25    nvalues = 1;
      26    return x0;
      27  }
      28  
      29  int main ()
      30  {
      31    if (fLlistp ((struct lispstruct *) 0xa0000001) != &Cnil_body)
      32      abort ();
      33    return 0;
      34  }