diff options
author | Pekka Enberg <penberg@kernel.org> | 2011-11-23 11:39:06 -0800 |
---|---|---|
committer | Pekka Enberg <penberg@kernel.org> | 2011-11-23 11:39:06 -0800 |
commit | 830ddf490134a9c94e2e52583c8177d52e838dae (patch) | |
tree | dcf4b150f5becdf2920c001587721409d4d8ac92 | |
parent | 174aa10430f7a15bbabc87c23ec4ba6d63f88c59 (diff) | |
parent | 04b9fc9a5e735e87f3b2049bca80b332353dab66 (diff) | |
download | sparse-830ddf490134a9c94e2e52583c8177d52e838dae.tar.gz |
Merge pull request #6 from jgarzik/hacks
sparse, llvm: add loop testcase
-rw-r--r-- | validation/backend/loop.c | 21 |
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 + */ |