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 */ 17