Print this page
11972 resync smatch
| Split |
Close |
| Expand all |
| Collapse all |
--- old/usr/src/tools/smatch/src/validation/infinite-loop03.c
+++ new/usr/src/tools/smatch/src/validation/infinite-loop03.c
1 1 static void foo(int *buf)
2 2 {
3 3 int a = 1;
4 4 int *b;
5 5 do {
|
↓ open down ↓ |
5 lines elided |
↑ open up ↑ |
6 6 if (a)
7 7 b = buf;
8 8 if (a)
9 9 *buf = 0;
10 10 } while (!(a = !a));
11 11 }
12 12
13 13 /*
14 14 * check-name: infinite loop 03
15 15 * check-command: sparse -Wno-decl $file
16 + * check-timeout:
16 17 */
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX