Home | History | Annotate | Line # | Download | only in lint1
gcc_attribute_label.c revision 1.1
      1  1.1  rillig /*	$NetBSD: gcc_attribute_label.c,v 1.1 2021/07/06 17:33:07 rillig Exp $	*/
      2  1.1  rillig # 3 "gcc_attribute_label.c"
      3  1.1  rillig 
      4  1.1  rillig /*
      5  1.1  rillig  * Tests for the GCC __attribute__ for labels.
      6  1.1  rillig  *
      7  1.1  rillig  * https://gcc.gnu.org/onlinedocs/gcc/Label-Attributes.html
      8  1.1  rillig  */
      9  1.1  rillig 
     10  1.1  rillig void dead(void);
     11  1.1  rillig 
     12  1.1  rillig void
     13  1.1  rillig test(int i)
     14  1.1  rillig {
     15  1.1  rillig 	if (i < 1000)
     16  1.1  rillig 		goto hot;
     17  1.1  rillig 	/* TODO: add quotes to message 232 */
     18  1.1  rillig 	/*FIXME*//* expect+1: warning: label error unused in function test [232] */
     19  1.1  rillig error:
     20  1.1  rillig 	__attribute__((__cold__));
     21  1.1  rillig 	dead();
     22  1.1  rillig 
     23  1.1  rillig hot:
     24  1.1  rillig 	/* expect+1: error: syntax error '__hot__' [249] */
     25  1.1  rillig 	__attribute__((__hot__));
     26  1.1  rillig 	/*FIXME*//* expect+1: error: 'i' undefined [99] */
     27  1.1  rillig 	if (i < 0)
     28  1.1  rillig 		/* TODO: add quotes to message 23 */
     29  1.1  rillig 		/* expect+1: warning: undefined label error [23] */
     30  1.1  rillig 		goto error;
     31  1.1  rillig }
     32