aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2017-05-04 14:14:04 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2017-11-13 14:16:51 +0100
commit91c13302fff0f8681e562b040b4669b27b127953 (patch)
treec1cb73a973238307c37061876d3cd1761c331a5a /validation
parent9fdb475e7e8d7150088f4e4b5bea6bd73073a358 (diff)
downloadsparse-dev-91c13302fff0f8681e562b040b4669b27b127953.tar.gz
add test case storage specifier in struct member
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
-rw-r--r--validation/storage-struct-member.c20
1 files changed, 20 insertions, 0 deletions
diff --git a/validation/storage-struct-member.c b/validation/storage-struct-member.c
new file mode 100644
index 00000000..6bd958ab
--- /dev/null
+++ b/validation/storage-struct-member.c
@@ -0,0 +1,20 @@
+int foo(a)
+ register int a;
+{
+ return a;
+}
+
+struct s {
+ register int a;
+};
+
+/*
+ * check-name: storage in struct member
+ * check-command: sparse -Wno-decl $file
+ *
+ * check-known-to-fail
+ * check-error-start
+storage-struct-member.c:2:9: warning: non-ANSI definition of function 'foo'
+storage-struct-member.c:8:9: error: storage specifier in structure definition'
+ * check-error-end
+ */