validation/inline-early/unreplaced-abstract.c

   1 static inline void f0(void) { }
   2 static inline long f1(long a) { return a + 1;}
   3
   4 _Static_assert([typeof(f0)] != [typeof(f1)]);
   5
   6
   7 static inline void g0(void) { }
   8 static inline long g1(long a) { return a + 1;}
   9
  10 extern long goo(long a);
  11 long goo(long a)
  12 {
  13         g0();
  14         return g1(a);
  15 }
  16
  17 _Static_assert([typeof(g0)] != [typeof(g1)]);
  18
  19 extern long moo(long a);
  20 long moo(long a)
  21 {
  22         typeof(f1) *f = g1;
  23         return f(a);
  24 }
  25
  26 /*
  27  * check-name: unreplaced-abstract
  28  */