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 */ 30