diff options
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/backend/loop2.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/validation/backend/loop2.c b/validation/backend/loop2.c new file mode 100644 index 00000000..279af214 --- /dev/null +++ b/validation/backend/loop2.c @@ -0,0 +1,14 @@ +extern int op(void); + +static void test(void) +{ + int i; + for (i = 0; ; i++) { + op(); + } +} + +/* + * check-name: Loops with unused counter + * check-command: ./sparsec -c $file -o tmp.o + */ |