1 
   2 static __attribute__((__pure__)) int pure1(void)
   3 {
   4         int i = 0;
   5         return i;
   6 }
   7 
   8 static __attribute__((__pure__)) void *pure2(void)
   9 {
  10     void *i = (void *)0;
  11     return i;
  12 }
  13 
  14 /*
  15  * check-name: Pure function attribute
  16  */