a(void)11f5207b7SJohn Levon static void a(void)
21f5207b7SJohn Levon {
31f5207b7SJohn Levon label1:
41f5207b7SJohn Levon 	;
51f5207b7SJohn Levon 	static void *b = &&label1;
61f5207b7SJohn Levon }
71f5207b7SJohn Levon 
81f5207b7SJohn Levon /*
9*c85f09ccSJohn Levon  * check-name: constexprness label reference
101f5207b7SJohn Levon  * check-command: sparse -Wconstexpr-not-const $file
111f5207b7SJohn Levon  *
121f5207b7SJohn Levon  * check-error-start
131f5207b7SJohn Levon  * check-error-end
141f5207b7SJohn Levon  */
15