1  /* PR c/12085 */
       2  /* Origin: David Hollenberg <dhollen@mosis.org> */
       3  
       4  /* Verify that the compiler doesn't inline a function at
       5     a calling point where it is viewed with a different
       6     prototype than the actual one.  */
       7  
       8  /* { dg-do compile } */
       9  /* { dg-options "-O3" } */
      10  
      11  int foo1(int);
      12  int foo2();
      13  
      14  typedef struct {
      15    double d;
      16    int a;
      17  } str_t;
      18  
      19  void bar(double d, int i, str_t s)
      20  {
      21    d = ((double (*) (int)) foo1) (i);  /* { dg-warning "8:non-compatible|abort" } */
      22    i = ((int (*) (double)) foo1) (d);  /* { dg-warning "8:non-compatible|abort" } */
      23    s = ((str_t (*) (int)) foo1) (i);   /* { dg-warning "8:non-compatible|abort" } */
      24    ((void (*) (int)) foo1) (d);        /* { dg-warning "non-compatible|abort" } */
      25    i = ((int (*) (int)) foo1) (i);     /* { dg-bogus "non-compatible|abort" } */
      26    (void) foo1 (i);                    /* { dg-bogus "non-compatible|abort" } */
      27  
      28    d = ((double (*) (int)) foo2) (i);  /* { dg-warning "8:non-compatible|abort" } */
      29    i = ((int (*) (double)) foo2) (d);  /* { dg-bogus "non-compatible|abort" } */
      30    s = ((str_t (*) (int)) foo2) (i);   /* { dg-warning "non-compatible|abort" } */
      31    ((void (*) (int)) foo2) (d);        /* { dg-warning "non-compatible|abort" } */
      32    i = ((int (*) (int)) foo2) (i);     /* { dg-bogus "non-compatible|abort" } */
      33    (void) foo2 (i);                    /* { dg-bogus "non-compatible|abort" } */
      34  }
      35  
      36  int foo1(int arg)
      37  {
      38    /* Prevent the function from becoming const and thus DCEd.  */
      39    __asm volatile ("" : "+r" (arg));
      40    return arg;
      41  }
      42  
      43  int foo2(arg)
      44    int arg;
      45  {
      46    /* Prevent the function from becoming const and thus DCEd.  */
      47    __asm volatile ("" : "+r" (arg));
      48    return arg;
      49  }