xref: /illumos-gate/usr/src/tools/smatch/src/validation/constexpr-labelref.c (revision 856f710c9dc323b39da5935194d7928ffb99b67f)
1 static void a(void)
2 {
3 label1:
4 	;
5 	static void *b = &&label1;
6 }
7 
8 /*
9  * check-name: label reference constness verification.
10  * check-command: sparse -Wconstexpr-not-const $file
11  *
12  * check-error-start
13  * check-error-end
14  */
15