aboutsummaryrefslogtreecommitdiff
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 /validation
parentHandle ignored attribute malloc (diff)
downloadsparse-76d0b813af2279179aa6e73d76d9e6e4bb63aab5.tar.gz
sparse-76d0b813af2279179aa6e73d76d9e6e4bb63aab5.tar.bz2
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>
Diffstat (limited to 'validation')
-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
+ */