diff options
Diffstat (limited to 'validation/type-attribute-mod.c')
| -rw-r--r-- | validation/type-attribute-mod.c | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/validation/type-attribute-mod.c b/validation/type-attribute-mod.c new file mode 100644 index 00000000..0e7b166a --- /dev/null +++ b/validation/type-attribute-mod.c @@ -0,0 +1,22 @@ +#define __noderef __attribute__((noderef)) + +struct s { + int i; +} __noderef; + + +void main(void) +{ + struct s s; + + s.i = 0; +} + +/* + * check-name: type-attribute-mod + * check-known-to-fail + * + * check-error-start +type-attribute-mod.c:12:9: warning: dereference of noderef expression + * check-error-end + */ |