1 void wwww();
2 void wwwA();
3
4 void xxxW (void)
5 {
6 wwwA();
7 www();
8 }
9
10 void DRAW (void)
11 {
12 wwwA();
13 }
14
15 void xxxA (void)
16 {
17 wwwA();
18 www();
19 }
20
21
22 /*
23 * check-name: Cross calls WtoA
24 * check-command: smatch -p=wine sm_WtoA.c
25 *
26 * check-output-start
27 sm_WtoA.c:6 xxxW() warn: WtoA call 'wwwA()'
28 * check-output-end
29 */