1 #include "check_debug.h" 2 3 int a, b; 4 5 int frob(void); 6 test(int size)7int test(int size) 8 { 9 a = 0; 10 11 if (({switch (frob()) { 12 case 1: 13 a = 2; 14 break; 15 default: 16 a = 3; 17 } 18 b;})) 19 ; 20 __smatch_implied(a); 21 22 a = 4; 23 24 if (({switch (2) { 25 case 1: 26 a = 5; 27 break; 28 case 2: 29 a = 6; 30 break; 31 default: 32 a = 7; 33 } 34 b;})) 35 ; 36 __smatch_implied(a); 37 38 return 0; 39 } 40 41 /* 42 * check-name: smatch: switch #3 43 * check-command: smatch -I.. sm_switch3.c 44 * 45 * check-output-start 46 sm_switch3.c:20 test() implied: a = '2-3' 47 sm_switch3.c:36 test() implied: a = '6' 48 * check-output-end 49 */ 50