aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPekka Enberg <penberg@kernel.org>2011-11-23 11:39:06 -0800
committerPekka Enberg <penberg@kernel.org>2011-11-23 11:39:06 -0800
commit830ddf490134a9c94e2e52583c8177d52e838dae (patch)
treedcf4b150f5becdf2920c001587721409d4d8ac92
parent174aa10430f7a15bbabc87c23ec4ba6d63f88c59 (diff)
parent04b9fc9a5e735e87f3b2049bca80b332353dab66 (diff)
downloadsparse-830ddf490134a9c94e2e52583c8177d52e838dae.tar.gz
Merge pull request #6 from jgarzik/hacks
sparse, llvm: add loop testcase
-rw-r--r--validation/backend/loop.c21
1 files changed, 21 insertions, 0 deletions
diff --git a/validation/backend/loop.c b/validation/backend/loop.c
new file mode 100644
index 00000000..31054f52
--- /dev/null
+++ b/validation/backend/loop.c
@@ -0,0 +1,21 @@
+
+extern int bar (int);
+
+extern int foo (int);
+
+int foo (int x)
+{
+ int y = 0;
+
+ while (y < 1000) {
+ y += bar(x);
+ }
+
+ return y;
+}
+
+
+/*
+ * check-name: Loops
+ * check-command: ./sparsec -c $file -o tmp.o
+ */