1void aft(void) 2{ 3 ({ 4l: 1; 5 }); 6 goto l; // KO 7} 8 9void bef(void) 10{ 11 goto l; // KO 12 ({ 13l: 1; 14 }); 15} 16 17void lab(void) 18{ 19 __label__ l; 20 ({ 21l: 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 31label-stmt-expr0.c:6:9: error: label 'l' used outside statement expression 32label-stmt-expr0.c:4:1: label 'l' defined here 33label-stmt-expr0.c:11:9: error: label 'l' used outside statement expression 34label-stmt-expr0.c:13:1: label 'l' defined here 35label-stmt-expr0.c:23:9: error: label 'l' used outside statement expression 36label-stmt-expr0.c:21:1: label 'l' defined here 37 * check-error-end 38 */ 39