avoid useless warning for 'bool <- restricted type' conversion
[smatch.git] / validation / pure-function.c
blob04bb85e4dbb15f1caa607de697859f310734634a
2 static __attribute__((__pure__)) int pure1(void)
4 int i = 0;
5 return i;
8 static __attribute__((__pure__)) void *pure2(void)
10 void *i = (void *)0;
11 return i;
15 * check-name: Pure function attribute