2
3 int zero(void)
4 {
5 return 0;
6 }
7
8
9 int main(unsigned int x, unsigned int y)
10 {
11 if (zero())
12 __smatch_states("register_impossible_return");
13 else
14 __smatch_states("register_impossible_return");
15 }
16
17 /*
18 * check-name: smatch impossible #1
19 * check-command: smatch -I.. sm_impossible1.c
20 *
21 * check-output-start
22 sm_impossible1.c:12 main() [register_impossible_return] 'impossible' = 'impossible'
23 sm_impossible1.c:14 main() register_impossible_return: no states
24 * check-output-end
25 */
|
2
3 int zero(void)
4 {
5 return 0;
6 }
7
8
9 int main(unsigned int x, unsigned int y)
10 {
11 if (zero())
12 __smatch_states("register_impossible_return");
13 else
14 __smatch_states("register_impossible_return");
15 }
16
17 /*
18 * check-name: smatch impossible #1
19 * check-command: smatch -I.. sm_impossible1.c
20 *
21 * check-output-start
22 sm_impossible1.c:12 main() [register_impossible_return] impossible = 'impossible'
23 sm_impossible1.c:14 main() register_impossible_return: no states
24 * check-output-end
25 */
|