aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-11-26 23:09:21 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-11-26 23:09:21 +0100
commitd06e1d291f581d14bfc78bc0c4b58c0b6e876c92 (patch)
treedc9b5020fc35907c21195fe76d9d4157f6f45da5 /validation
parent172f6a98702de6eeef181fa72d07dfc78c5b40d1 (diff)
parent1546f48809a43f48769c374cc58a9a0b64ccda11 (diff)
downloadsparse-dev-d06e1d291f581d14bfc78bc0c4b58c0b6e876c92.tar.gz
Merge branch 'static-forward' into master
Diffstat (limited to 'validation')
-rw-r--r--validation/static-forward-decl.c19
1 files changed, 10 insertions, 9 deletions
diff --git a/validation/static-forward-decl.c b/validation/static-forward-decl.c
index daad1ecb..d25d8152 100644
--- a/validation/static-forward-decl.c
+++ b/validation/static-forward-decl.c
@@ -1,13 +1,14 @@
-static int f(void);
+int fref(void);
+int fref(void) { return 0; }
+
+static
+int floc(void);
+int floc(void) { return 0; }
+
+static
+int oloc;
+int oloc = 0;
-int f(void)
-{
- return 0;
-}
/*
* check-name: static forward declaration
- *
- * check-error-start
-static-forward-decl.c:3:5: warning: symbol 'f' was not declared. Should it be static?
- * check-error-end
*/