blob: 11cec2c2ad3522f7eb38c7dbf7fb2e9ffc66f0ed (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
/* $NetBSD: msg_023.c,v 1.5 2023/07/07 19:45:22 rillig Exp $ */
# 3 "msg_023.c"
// Test for message: undefined label '%s' [23]
/* lint1-extra-flags: -X 351 */
void
test(void)
{
goto defined_label;
defined_label:
/* expect+1: warning: undefined label 'undefined_label' [23] */
goto undefined_label;
}
|