a(void)1 static void a(void)
2 {
3 label1:
4 	;
5 	static void *b = &&label1;
6 }
7 
8 /*
9  * check-name: constexprness label reference
10  * check-command: sparse -Wconstexpr-not-const $file
11  *
12  * check-error-start
13  * check-error-end
14  */
15