Print this page
12724 update smatch to 0.6.1-rc1-il-5
| Split |
Close |
| Expand all |
| Collapse all |
--- old/usr/src/tools/smatch/src/validation/sm_impossible2.c
+++ new/usr/src/tools/smatch/src/validation/sm_impossible2.c
1 1 #include "check_debug.h"
2 2
3 3 int one(void)
4 4 {
5 5 return 1;
6 6 }
7 7
8 8
9 9 int main(unsigned int x, unsigned int y)
10 10 {
11 11 if (one())
12 12 __smatch_states("register_impossible_return");
|
↓ open down ↓ |
12 lines elided |
↑ open up ↑ |
13 13 else
14 14 __smatch_states("register_impossible_return");
15 15 }
16 16
17 17 /*
18 18 * check-name: smatch impossible #2
19 19 * check-command: smatch -I.. sm_impossible2.c
20 20 *
21 21 * check-output-start
22 22 sm_impossible2.c:12 main() register_impossible_return: no states
23 -sm_impossible2.c:14 main() [register_impossible_return] 'impossible' = 'impossible'
23 +sm_impossible2.c:14 main() [register_impossible_return] impossible = 'impossible'
24 24 * check-output-end
25 25 */
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX