aft(void)1void aft(void) 2 { 3 ({ 4 l: 1; 5 }); 6 goto l; // KO 7 } 8 bef(void)9void bef(void) 10 { 11 goto l; // KO 12 ({ 13 l: 1; 14 }); 15 } 16 lab(void)17void lab(void) 18 { 19 __label__ l; 20 ({ 21 l: 1; 22 }); 23 goto l; // KO 24 } 25 26 /* 27 * check-name: label-stmt-expr0 28 * check-command: sparse -Wno-decl $file 29 * 30 * check-error-start 31 label-stmt-expr0.c:6:9: error: label 'l' used outside statement expression 32 label-stmt-expr0.c:4:1: label 'l' defined here 33 label-stmt-expr0.c:11:9: error: label 'l' used outside statement expression 34 label-stmt-expr0.c:13:1: label 'l' defined here 35 label-stmt-expr0.c:23:9: error: label 'l' used outside statement expression 36 label-stmt-expr0.c:21:1: label 'l' defined here 37 * check-error-end 38 */ 39