diff options
Diffstat (limited to 'validation/pure-function.c')
| -rw-r--r-- | validation/pure-function.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/validation/pure-function.c b/validation/pure-function.c new file mode 100644 index 00000000..04bb85e4 --- /dev/null +++ b/validation/pure-function.c @@ -0,0 +1,16 @@ + +static __attribute__((__pure__)) int pure1(void) +{ + int i = 0; + return i; +} + +static __attribute__((__pure__)) void *pure2(void) +{ + void *i = (void *)0; + return i; +} + +/* + * check-name: Pure function attribute + */ |