sval: extra: type information was being lost in ++/-- operations
[smatch.git] / validation / sm_WtoA.c
blob11b98b9252d44f288e99bf3df6c68e328da40459
1 void wwww();
2 void wwwA();
4 void xxxW (void)
6 wwwA();
7 www();
10 void DRAW (void)
12 wwwA();
15 void xxxA (void)
17 wwwA();
18 www();
23 * check-name: Cross calls WtoA
24 * check-command: smatch -p=wine sm_WtoA.c
26 * check-output-start
27 sm_WtoA.c:6 xxxW() warn: WtoA call wwwA()
28 * check-output-end