diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-03-14 16:58:01 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-03-14 23:19:41 +0100 |
| commit | 8ef30d755e218508458029a76d7644a72c52bc1e (patch) | |
| tree | 72529ea859157079617ad0b5d9325abb3cc74ba3 /validation | |
| parent | 88fbab0c7465b682c386f759d4b6ecc3339cd08e (diff) | |
| download | sparse-dev-8ef30d755e218508458029a76d7644a72c52bc1e.tar.gz | |
optim: add testcase for internal infinite loop
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/infinite-loop04.c | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/validation/infinite-loop04.c b/validation/infinite-loop04.c new file mode 100644 index 00000000..77865095 --- /dev/null +++ b/validation/infinite-loop04.c @@ -0,0 +1,18 @@ +extern void use(char); + +static void foo(char *b) +{ + while (b) { + if (b++) + continue; + ++b; + use(*b); + &b; + } +} + +/* + * check-name: internal infinite loop (4) + * check-command: sparse $file + * check-timeout: + */ |