diff options
Diffstat (limited to 'usr/src/tools/smatch/src/validation/infinite-loop04.c')
| -rw-r--r-- | usr/src/tools/smatch/src/validation/infinite-loop04.c | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/usr/src/tools/smatch/src/validation/infinite-loop04.c b/usr/src/tools/smatch/src/validation/infinite-loop04.c new file mode 100644 index 0000000000..77865095f3 --- /dev/null +++ b/usr/src/tools/smatch/src/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: + */ |