aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJosh Triplett <josh@freedesktop.org>2007-11-13 04:12:05 -0800
committerJosh Triplett <josh@freedesktop.org>2007-11-13 04:12:05 -0800
commit76d0b813af2279179aa6e73d76d9e6e4bb63aab5 (patch)
tree8c30e407fc39c41026e2d0e4c071422b306db650
parent35f463cfcc8e042721d4fa80e4375fba59159cd6 (diff)
downloadsparse-76d0b813af2279179aa6e73d76d9e6e4bb63aab5.tar.gz
sparse-76d0b813af2279179aa6e73d76d9e6e4bb63aab5.tar.xz
sparse-76d0b813af2279179aa6e73d76d9e6e4bb63aab5.zip
Add known-to-fail test case for a static forward declaration
Based on a bug report by Matthew Wilcox. Signed-off-by: Josh Triplett <josh@freedesktop.org>
-rw-r--r--validation/static-forward-decl.c10
1 files changed, 10 insertions, 0 deletions
diff --git a/validation/static-forward-decl.c b/validation/static-forward-decl.c
new file mode 100644
index 0000000..47e46dc
--- /dev/null
+++ b/validation/static-forward-decl.c
@@ -0,0 +1,10 @@
+static int f(void);
+
+int f(void)
+{
+ return 0;
+}
+/*
+ * check-name: static forward declaration
+ * check-known-to-fail
+ */