usr/src/tools/smatch/src/validation/constexpr-labelref.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14

static void a(void)
{
label1:
	;
	static void *b = &&label1;
}

/*
 * check-name: label reference constness verification.
 * check-command: sparse -Wconstexpr-not-const $file
 *
 * check-error-start
 * check-error-end
 */