[thirdparty/gcc.git] / gcc / builtin-attrs.def

/* Copyright (C) 2001, 2002, 2004, 2005, 2007 Free Software Foundation, Inc.
   Contributed by Joseph Myers <jsm28@cam.ac.uk>.

This file is part of GCC.

GCC is free software; you can redistribute it and/or modify it under
the terms of the GNU General Public License as published by the Free
Software Foundation; either version 3, or (at your option) any later
version.

GCC is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
for more details.

You should have received a copy of the GNU General Public License
along with GCC; see the file COPYING3.  If not see
<http://www.gnu.org/licenses/>.  */

/* This header provides a declarative way of describing the attributes
   that are applied to some functions by default.

   Before including this header, you must define the following macros.
   In each case where there is an ENUM, it is an identifier used to
   reference the tree in subsequent definitions.

   DEF_ATTR_NULL_TREE (ENUM)

     Constructs a NULL_TREE.

   DEF_ATTR_INT (ENUM, VALUE)

     Constructs an INTEGER_CST with value VALUE (an integer representable
     in HOST_WIDE_INT).

   DEF_ATTR_IDENT (ENUM, STRING)

     Constructs an IDENTIFIER_NODE for STRING.

   DEF_ATTR_TREE_LIST (ENUM, PURPOSE, VALUE, CHAIN)

     Constructs a TREE_LIST with given PURPOSE, VALUE and CHAIN (given
     as previous ENUM names).  */

DEF_ATTR_NULL_TREE (ATTR_NULL)

/* Construct a tree for a given integer and a list containing it.  */
#define DEF_ATTR_FOR_INT(VALUE)					\
  DEF_ATTR_INT (ATTR_##VALUE, VALUE)			\
  DEF_ATTR_TREE_LIST (ATTR_LIST_##VALUE, ATTR_NULL,	\
		      ATTR_##VALUE, ATTR_NULL)
DEF_ATTR_FOR_INT (0)
DEF_ATTR_FOR_INT (1)
DEF_ATTR_FOR_INT (2)
DEF_ATTR_FOR_INT (3)
DEF_ATTR_FOR_INT (4)
DEF_ATTR_FOR_INT (5)
DEF_ATTR_FOR_INT (6)
#undef DEF_ATTR_FOR_INT

/* Construct a tree for a list of two integers.  */
#define DEF_LIST_INT_INT(VALUE1, VALUE2)				 \
  DEF_ATTR_TREE_LIST (ATTR_LIST_##VALUE1##_##VALUE2, ATTR_NULL,		 \
		      ATTR_##VALUE1, ATTR_LIST_##VALUE2)
DEF_LIST_INT_INT (1,0)
DEF_LIST_INT_INT (1,2)
DEF_LIST_INT_INT (2,0)
DEF_LIST_INT_INT (2,3)
DEF_LIST_INT_INT (3,0)
DEF_LIST_INT_INT (3,4)
DEF_LIST_INT_INT (4,0)
DEF_LIST_INT_INT (4,5)
DEF_LIST_INT_INT (5,0)
DEF_LIST_INT_INT (5,6)
#undef DEF_LIST_INT_INT

/* Construct trees for identifiers.  */
DEF_ATTR_IDENT (ATTR_CONST, "const")
DEF_ATTR_IDENT (ATTR_FORMAT, "format")
DEF_ATTR_IDENT (ATTR_FORMAT_ARG, "format_arg")
DEF_ATTR_IDENT (ATTR_MALLOC, "malloc")
DEF_ATTR_IDENT (ATTR_NONNULL, "nonnull")
DEF_ATTR_IDENT (ATTR_NORETURN, "noreturn")
DEF_ATTR_IDENT (ATTR_NOTHROW, "nothrow")
DEF_ATTR_IDENT (ATTR_PRINTF, "printf")
DEF_ATTR_IDENT (ATTR_ASM_FPRINTF, "asm_fprintf")
DEF_ATTR_IDENT (ATTR_GCC_DIAG, "gcc_diag")
DEF_ATTR_IDENT (ATTR_GCC_CDIAG, "gcc_cdiag")
DEF_ATTR_IDENT (ATTR_GCC_CXXDIAG, "gcc_cxxdiag")
DEF_ATTR_IDENT (ATTR_PURE, "pure")
DEF_ATTR_IDENT (ATTR_NOVOPS, "no vops")
DEF_ATTR_IDENT (ATTR_SCANF, "scanf")
DEF_ATTR_IDENT (ATTR_SENTINEL, "sentinel")
DEF_ATTR_IDENT (ATTR_STRFMON, "strfmon")
DEF_ATTR_IDENT (ATTR_STRFTIME, "strftime")
DEF_ATTR_IDENT (ATTR_TYPEGENERIC, "type generic")

DEF_ATTR_TREE_LIST (ATTR_NOVOPS_LIST, ATTR_NOVOPS, ATTR_NULL, ATTR_NULL)

DEF_ATTR_TREE_LIST (ATTR_NOTHROW_LIST, ATTR_NOTHROW, ATTR_NULL, ATTR_NULL)

DEF_ATTR_TREE_LIST (ATTR_CONST_NOTHROW_LIST, ATTR_CONST,	\
			ATTR_NULL, ATTR_NOTHROW_LIST)
DEF_ATTR_TREE_LIST (ATTR_PURE_NOTHROW_LIST, ATTR_PURE,		\
			ATTR_NULL, ATTR_NOTHROW_LIST)
DEF_ATTR_TREE_LIST (ATTR_PURE_NOTHROW_NOVOPS_LIST, ATTR_NOVOPS,	\
			ATTR_NULL, ATTR_PURE_NOTHROW_LIST)
DEF_ATTR_TREE_LIST (ATTR_NORETURN_NOTHROW_LIST, ATTR_NORETURN,	\
			ATTR_NULL, ATTR_NOTHROW_LIST)
DEF_ATTR_TREE_LIST (ATTR_MALLOC_NOTHROW_LIST, ATTR_MALLOC,	\
			ATTR_NULL, ATTR_NOTHROW_LIST)
DEF_ATTR_TREE_LIST (ATTR_SENTINEL_NOTHROW_LIST, ATTR_SENTINEL,	\
			ATTR_NULL, ATTR_NOTHROW_LIST)

/* Functions whose pointer parameter(s) are all nonnull.  */
DEF_ATTR_TREE_LIST (ATTR_NONNULL_LIST, ATTR_NONNULL, ATTR_NULL, ATTR_NULL)
/* Functions whose first parameter is a nonnull pointer.  */
DEF_ATTR_TREE_LIST (ATTR_NONNULL_1, ATTR_NONNULL, ATTR_LIST_1, ATTR_NULL)
/* Functions whose second parameter is a nonnull pointer.  */
DEF_ATTR_TREE_LIST (ATTR_NONNULL_2, ATTR_NONNULL, ATTR_LIST_2, ATTR_NULL)
/* Functions whose third parameter is a nonnull pointer.  */
DEF_ATTR_TREE_LIST (ATTR_NONNULL_3, ATTR_NONNULL, ATTR_LIST_3, ATTR_NULL)
/* Nothrow functions with the sentinel(1) attribute. */
DEF_ATTR_TREE_LIST (ATTR_NOTHROW_SENTINEL_1, ATTR_SENTINEL, ATTR_LIST_1, \
			ATTR_NOTHROW_LIST)
/* Nothrow functions whose pointer parameter(s) are all nonnull.  */
DEF_ATTR_TREE_LIST (ATTR_NOTHROW_NONNULL, ATTR_NONNULL, ATTR_NULL, \
			ATTR_NOTHROW_LIST)
/* Nothrow functions whose first parameter is a nonnull pointer.  */
DEF_ATTR_TREE_LIST (ATTR_NOTHROW_NONNULL_1, ATTR_NONNULL, ATTR_LIST_1, \
			ATTR_NOTHROW_LIST)
/* Nothrow functions whose second parameter is a nonnull pointer.  */
DEF_ATTR_TREE_LIST (ATTR_NOTHROW_NONNULL_2, ATTR_NONNULL, ATTR_LIST_2, \
			ATTR_NOTHROW_LIST)
/* Nothrow functions whose third parameter is a nonnull pointer.  */
DEF_ATTR_TREE_LIST (ATTR_NOTHROW_NONNULL_3, ATTR_NONNULL, ATTR_LIST_3, \
			ATTR_NOTHROW_LIST)
/* Nothrow functions whose fourth parameter is a nonnull pointer.  */
DEF_ATTR_TREE_LIST (ATTR_NOTHROW_NONNULL_4, ATTR_NONNULL, ATTR_LIST_4, \
			ATTR_NOTHROW_LIST)
/* Nothrow functions whose fifth parameter is a nonnull pointer.  */
DEF_ATTR_TREE_LIST (ATTR_NOTHROW_NONNULL_5, ATTR_NONNULL, ATTR_LIST_5, \
			ATTR_NOTHROW_LIST)
/* Nothrow const functions whose pointer parameter(s) are all nonnull.  */
DEF_ATTR_TREE_LIST (ATTR_CONST_NOTHROW_NONNULL, ATTR_CONST, ATTR_NULL, \
			ATTR_NOTHROW_NONNULL)
/* Nothrow const functions which are type-generic.  */
DEF_ATTR_TREE_LIST (ATTR_CONST_NOTHROW_TYPEGENERIC, ATTR_TYPEGENERIC, ATTR_NULL, \
			ATTR_CONST_NOTHROW_LIST)
/* Nothrow pure functions whose pointer parameter(s) are all nonnull.  */
DEF_ATTR_TREE_LIST (ATTR_PURE_NOTHROW_NONNULL, ATTR_PURE, ATTR_NULL, \
			ATTR_NOTHROW_NONNULL)
/* Nothrow malloc functions whose pointer parameter(s) are all nonnull.  */
DEF_ATTR_TREE_LIST (ATTR_MALLOC_NOTHROW_NONNULL, ATTR_MALLOC, ATTR_NULL, \
			ATTR_NOTHROW_NONNULL)

/* Construct a tree for a format attribute.  */
#define DEF_FORMAT_ATTRIBUTE(TYPE, FA, VALUES)				 \
  DEF_ATTR_TREE_LIST (ATTR_##TYPE##_##VALUES, ATTR_NULL,		 \
		      ATTR_##TYPE, ATTR_LIST_##VALUES)			 \
  DEF_ATTR_TREE_LIST (ATTR_FORMAT_##TYPE##_##VALUES, ATTR_FORMAT,	 \
		      ATTR_##TYPE##_##VALUES, ATTR_NONNULL_##FA)
#define DEF_FORMAT_ATTRIBUTE_NOTHROW(TYPE, FA, VALUES)			 \
  DEF_ATTR_TREE_LIST (ATTR_##TYPE##_##VALUES, ATTR_NULL,		 \
		      ATTR_##TYPE, ATTR_LIST_##VALUES)			 \
  DEF_ATTR_TREE_LIST (ATTR_FORMAT_##TYPE##_NOTHROW_##VALUES, ATTR_FORMAT,\
		      ATTR_##TYPE##_##VALUES, ATTR_NOTHROW_NONNULL_##FA)
#define DEF_FORMAT_ATTRIBUTE_BOTH(TYPE, FA, VALUES)			 \
  DEF_ATTR_TREE_LIST (ATTR_##TYPE##_##VALUES, ATTR_NULL,		 \
		      ATTR_##TYPE, ATTR_LIST_##VALUES)			 \
  DEF_ATTR_TREE_LIST (ATTR_FORMAT_##TYPE##_##VALUES, ATTR_FORMAT,	 \
		      ATTR_##TYPE##_##VALUES, ATTR_NONNULL_##FA)	 \
  DEF_ATTR_TREE_LIST (ATTR_FORMAT_##TYPE##_NOTHROW_##VALUES, ATTR_FORMAT,\
		      ATTR_##TYPE##_##VALUES, ATTR_NOTHROW_NONNULL_##FA)
DEF_FORMAT_ATTRIBUTE(PRINTF,1,1_0)
DEF_FORMAT_ATTRIBUTE(PRINTF,1,1_2)
DEF_FORMAT_ATTRIBUTE_BOTH(PRINTF,2,2_0)
DEF_FORMAT_ATTRIBUTE_BOTH(PRINTF,2,2_3)
DEF_FORMAT_ATTRIBUTE_BOTH(PRINTF,3,3_0)
DEF_FORMAT_ATTRIBUTE_BOTH(PRINTF,3,3_4)
DEF_FORMAT_ATTRIBUTE_NOTHROW(PRINTF,4,4_0)
DEF_FORMAT_ATTRIBUTE_NOTHROW(PRINTF,4,4_5)
DEF_FORMAT_ATTRIBUTE_NOTHROW(PRINTF,5,5_0)
DEF_FORMAT_ATTRIBUTE_NOTHROW(PRINTF,5,5_6)
DEF_FORMAT_ATTRIBUTE(SCANF,1,1_0)
DEF_FORMAT_ATTRIBUTE(SCANF,1,1_2)
DEF_FORMAT_ATTRIBUTE_BOTH(SCANF,2,2_0)
DEF_FORMAT_ATTRIBUTE_BOTH(SCANF,2,2_3)
DEF_FORMAT_ATTRIBUTE_NOTHROW(STRFTIME,3,3_0)
DEF_FORMAT_ATTRIBUTE_NOTHROW(STRFMON,3,3_4)
#undef DEF_FORMAT_ATTRIBUTE
#undef DEF_FORMAT_ATTRIBUTE_NOTHROW
#undef DEF_FORMAT_ATTRIBUTE_BOTH

/* Construct a tree for a format_arg attribute.  */
#define DEF_FORMAT_ARG_ATTRIBUTE(FA)					\
  DEF_ATTR_TREE_LIST (ATTR_FORMAT_ARG_##FA, ATTR_FORMAT_ARG,		\
		      ATTR_LIST_##FA, ATTR_NOTHROW_NONNULL_##FA)
DEF_FORMAT_ARG_ATTRIBUTE(1)
DEF_FORMAT_ARG_ATTRIBUTE(2)
#undef DEF_FORMAT_ARG_ATTRIBUTE
Commit	Line	Data
9dcd6f09	1	/* Copyright (C) 2001, 2002, 2004, 2005, 2007 Free Software Foundation, Inc.
6431177a JM	2	Contributed by Joseph Myers <jsm28@cam.ac.uk>.
	3
	4	This file is part of GCC.
	5
	6	GCC is free software; you can redistribute it and/or modify it under
	7	the terms of the GNU General Public License as published by the Free
9dcd6f09	8	Software Foundation; either version 3, or (at your option) any later
6431177a JM	9	version.
	10
	11	GCC is distributed in the hope that it will be useful, but WITHOUT ANY
	12	WARRANTY; without even the implied warranty of MERCHANTABILITY or
	13	FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
	14	for more details.
	15
	16	You should have received a copy of the GNU General Public License
9dcd6f09 NC	17	along with GCC; see the file COPYING3. If not see
9dcd6f09 NC	18	<http://www.gnu.org/licenses/>. */
6431177a JM	19
	20	/* This header provides a declarative way of describing the attributes
	21	that are applied to some functions by default.
	22
	23	Before including this header, you must define the following macros.
	24	In each case where there is an ENUM, it is an identifier used to
	25	reference the tree in subsequent definitions.
	26
	27	DEF_ATTR_NULL_TREE (ENUM)
	28
	29	Constructs a NULL_TREE.
	30
	31	DEF_ATTR_INT (ENUM, VALUE)
	32
	33	Constructs an INTEGER_CST with value VALUE (an integer representable
	34	in HOST_WIDE_INT).
	35
	36	DEF_ATTR_IDENT (ENUM, STRING)
	37
	38	Constructs an IDENTIFIER_NODE for STRING.
	39
	40	DEF_ATTR_TREE_LIST (ENUM, PURPOSE, VALUE, CHAIN)
	41
	42	Constructs a TREE_LIST with given PURPOSE, VALUE and CHAIN (given
178b2b9f	43	as previous ENUM names). */
6431177a JM	44
	45	DEF_ATTR_NULL_TREE (ATTR_NULL)
	46
6431177a JM	47	/* Construct a tree for a given integer and a list containing it. */
6431177a JM	48	#define DEF_ATTR_FOR_INT(VALUE) \
9a238586 KG	49	DEF_ATTR_INT (ATTR_##VALUE, VALUE) \
	50	DEF_ATTR_TREE_LIST (ATTR_LIST_##VALUE, ATTR_NULL, \
	51	ATTR_##VALUE, ATTR_NULL)
6431177a JM	52	DEF_ATTR_FOR_INT (0)
	53	DEF_ATTR_FOR_INT (1)
	54	DEF_ATTR_FOR_INT (2)
	55	DEF_ATTR_FOR_INT (3)
	56	DEF_ATTR_FOR_INT (4)
10a0d495 JJ	57	DEF_ATTR_FOR_INT (5)
10a0d495 JJ	58	DEF_ATTR_FOR_INT (6)
6431177a JM	59	#undef DEF_ATTR_FOR_INT
	60
	61	/* Construct a tree for a list of two integers. */
	62	#define DEF_LIST_INT_INT(VALUE1, VALUE2) \
9a238586 KG	63	DEF_ATTR_TREE_LIST (ATTR_LIST_##VALUE1##_##VALUE2, ATTR_NULL, \
9a238586 KG	64	ATTR_##VALUE1, ATTR_LIST_##VALUE2)
6431177a JM	65	DEF_LIST_INT_INT (1,0)
	66	DEF_LIST_INT_INT (1,2)
	67	DEF_LIST_INT_INT (2,0)
	68	DEF_LIST_INT_INT (2,3)
	69	DEF_LIST_INT_INT (3,0)
	70	DEF_LIST_INT_INT (3,4)
10a0d495 JJ	71	DEF_LIST_INT_INT (4,0)
	72	DEF_LIST_INT_INT (4,5)
	73	DEF_LIST_INT_INT (5,0)
	74	DEF_LIST_INT_INT (5,6)
6431177a JM	75	#undef DEF_LIST_INT_INT
6431177a JM	76
c72c42e8	77	/* Construct trees for identifiers. */
df061a43 RS	78	DEF_ATTR_IDENT (ATTR_CONST, "const")
	79	DEF_ATTR_IDENT (ATTR_FORMAT, "format")
	80	DEF_ATTR_IDENT (ATTR_FORMAT_ARG, "format_arg")
	81	DEF_ATTR_IDENT (ATTR_MALLOC, "malloc")
	82	DEF_ATTR_IDENT (ATTR_NONNULL, "nonnull")
	83	DEF_ATTR_IDENT (ATTR_NORETURN, "noreturn")
	84	DEF_ATTR_IDENT (ATTR_NOTHROW, "nothrow")
6431177a	85	DEF_ATTR_IDENT (ATTR_PRINTF, "printf")
3ae1d4c2	86	DEF_ATTR_IDENT (ATTR_ASM_FPRINTF, "asm_fprintf")
280c1e0d KG	87	DEF_ATTR_IDENT (ATTR_GCC_DIAG, "gcc_diag")
	88	DEF_ATTR_IDENT (ATTR_GCC_CDIAG, "gcc_cdiag")
	89	DEF_ATTR_IDENT (ATTR_GCC_CXXDIAG, "gcc_cxxdiag")
df061a43	90	DEF_ATTR_IDENT (ATTR_PURE, "pure")
dcd6de6d	91	DEF_ATTR_IDENT (ATTR_NOVOPS, "no vops")
6431177a	92	DEF_ATTR_IDENT (ATTR_SCANF, "scanf")
3d091dac	93	DEF_ATTR_IDENT (ATTR_SENTINEL, "sentinel")
6431177a	94	DEF_ATTR_IDENT (ATTR_STRFMON, "strfmon")
df061a43	95	DEF_ATTR_IDENT (ATTR_STRFTIME, "strftime")
b5d32c25	96	DEF_ATTR_IDENT (ATTR_TYPEGENERIC, "type generic")
6431177a	97
dcd6de6d ZD	98	DEF_ATTR_TREE_LIST (ATTR_NOVOPS_LIST, ATTR_NOVOPS, ATTR_NULL, ATTR_NULL)
dcd6de6d ZD	99
df061a43	100	DEF_ATTR_TREE_LIST (ATTR_NOTHROW_LIST, ATTR_NOTHROW, ATTR_NULL, ATTR_NULL)
6431177a	101
df061a43 RS	102	DEF_ATTR_TREE_LIST (ATTR_CONST_NOTHROW_LIST, ATTR_CONST, \
	103	ATTR_NULL, ATTR_NOTHROW_LIST)
	104	DEF_ATTR_TREE_LIST (ATTR_PURE_NOTHROW_LIST, ATTR_PURE, \
	105	ATTR_NULL, ATTR_NOTHROW_LIST)
dcd6de6d ZD	106	DEF_ATTR_TREE_LIST (ATTR_PURE_NOTHROW_NOVOPS_LIST, ATTR_NOVOPS, \
dcd6de6d ZD	107	ATTR_NULL, ATTR_PURE_NOTHROW_LIST)
df061a43 RS	108	DEF_ATTR_TREE_LIST (ATTR_NORETURN_NOTHROW_LIST, ATTR_NORETURN, \
	109	ATTR_NULL, ATTR_NOTHROW_LIST)
	110	DEF_ATTR_TREE_LIST (ATTR_MALLOC_NOTHROW_LIST, ATTR_MALLOC, \
	111	ATTR_NULL, ATTR_NOTHROW_LIST)
3d091dac KG	112	DEF_ATTR_TREE_LIST (ATTR_SENTINEL_NOTHROW_LIST, ATTR_SENTINEL, \
3d091dac KG	113	ATTR_NULL, ATTR_NOTHROW_LIST)
79ed7328	114
74124c73 KG	115	/* Functions whose pointer parameter(s) are all nonnull. */
	116	DEF_ATTR_TREE_LIST (ATTR_NONNULL_LIST, ATTR_NONNULL, ATTR_NULL, ATTR_NULL)
	117	/* Functions whose first parameter is a nonnull pointer. */
0d5b215c	118	DEF_ATTR_TREE_LIST (ATTR_NONNULL_1, ATTR_NONNULL, ATTR_LIST_1, ATTR_NULL)
74124c73	119	/* Functions whose second parameter is a nonnull pointer. */
0d5b215c	120	DEF_ATTR_TREE_LIST (ATTR_NONNULL_2, ATTR_NONNULL, ATTR_LIST_2, ATTR_NULL)
b1e3f20e JJ	121	/* Functions whose third parameter is a nonnull pointer. */
b1e3f20e JJ	122	DEF_ATTR_TREE_LIST (ATTR_NONNULL_3, ATTR_NONNULL, ATTR_LIST_3, ATTR_NULL)
74124c73	123	/* Nothrow functions with the sentinel(1) attribute. */
254986c7 KG	124	DEF_ATTR_TREE_LIST (ATTR_NOTHROW_SENTINEL_1, ATTR_SENTINEL, ATTR_LIST_1, \
254986c7 KG	125	ATTR_NOTHROW_LIST)
74124c73 KG	126	/* Nothrow functions whose pointer parameter(s) are all nonnull. */
	127	DEF_ATTR_TREE_LIST (ATTR_NOTHROW_NONNULL, ATTR_NONNULL, ATTR_NULL, \
	128	ATTR_NOTHROW_LIST)
	129	/* Nothrow functions whose first parameter is a nonnull pointer. */
00362064	130	DEF_ATTR_TREE_LIST (ATTR_NOTHROW_NONNULL_1, ATTR_NONNULL, ATTR_LIST_1, \
08291658	131	ATTR_NOTHROW_LIST)
74124c73	132	/* Nothrow functions whose second parameter is a nonnull pointer. */
00362064	133	DEF_ATTR_TREE_LIST (ATTR_NOTHROW_NONNULL_2, ATTR_NONNULL, ATTR_LIST_2, \
08291658	134	ATTR_NOTHROW_LIST)
74124c73	135	/* Nothrow functions whose third parameter is a nonnull pointer. */
00362064	136	DEF_ATTR_TREE_LIST (ATTR_NOTHROW_NONNULL_3, ATTR_NONNULL, ATTR_LIST_3, \
08291658	137	ATTR_NOTHROW_LIST)
10a0d495 JJ	138	/* Nothrow functions whose fourth parameter is a nonnull pointer. */
	139	DEF_ATTR_TREE_LIST (ATTR_NOTHROW_NONNULL_4, ATTR_NONNULL, ATTR_LIST_4, \
	140	ATTR_NOTHROW_LIST)
	141	/* Nothrow functions whose fifth parameter is a nonnull pointer. */
	142	DEF_ATTR_TREE_LIST (ATTR_NOTHROW_NONNULL_5, ATTR_NONNULL, ATTR_LIST_5, \
	143	ATTR_NOTHROW_LIST)
74124c73 KG	144	/* Nothrow const functions whose pointer parameter(s) are all nonnull. */
	145	DEF_ATTR_TREE_LIST (ATTR_CONST_NOTHROW_NONNULL, ATTR_CONST, ATTR_NULL, \
	146	ATTR_NOTHROW_NONNULL)
b5d32c25 KG	147	/* Nothrow const functions which are type-generic. */
	148	DEF_ATTR_TREE_LIST (ATTR_CONST_NOTHROW_TYPEGENERIC, ATTR_TYPEGENERIC, ATTR_NULL, \
	149	ATTR_CONST_NOTHROW_LIST)
74124c73 KG	150	/* Nothrow pure functions whose pointer parameter(s) are all nonnull. */
	151	DEF_ATTR_TREE_LIST (ATTR_PURE_NOTHROW_NONNULL, ATTR_PURE, ATTR_NULL, \
	152	ATTR_NOTHROW_NONNULL)
	153	/* Nothrow malloc functions whose pointer parameter(s) are all nonnull. */
	154	DEF_ATTR_TREE_LIST (ATTR_MALLOC_NOTHROW_NONNULL, ATTR_MALLOC, ATTR_NULL, \
	155	ATTR_NOTHROW_NONNULL)
79ed7328	156
6431177a	157	/* Construct a tree for a format attribute. */
79ed7328	158	#define DEF_FORMAT_ATTRIBUTE(TYPE, FA, VALUES) \
9a238586 KG	159	DEF_ATTR_TREE_LIST (ATTR_##TYPE##_##VALUES, ATTR_NULL, \
	160	ATTR_##TYPE, ATTR_LIST_##VALUES) \
	161	DEF_ATTR_TREE_LIST (ATTR_FORMAT_##TYPE##_##VALUES, ATTR_FORMAT, \
b1e3f20e JJ	162	ATTR_##TYPE##_##VALUES, ATTR_NONNULL_##FA)
	163	#define DEF_FORMAT_ATTRIBUTE_NOTHROW(TYPE, FA, VALUES) \
	164	DEF_ATTR_TREE_LIST (ATTR_##TYPE##_##VALUES, ATTR_NULL, \
	165	ATTR_##TYPE, ATTR_LIST_##VALUES) \
	166	DEF_ATTR_TREE_LIST (ATTR_FORMAT_##TYPE##_NOTHROW_##VALUES, ATTR_FORMAT,\
	167	ATTR_##TYPE##_##VALUES, ATTR_NOTHROW_NONNULL_##FA)
	168	#define DEF_FORMAT_ATTRIBUTE_BOTH(TYPE, FA, VALUES) \
	169	DEF_ATTR_TREE_LIST (ATTR_##TYPE##_##VALUES, ATTR_NULL, \
	170	ATTR_##TYPE, ATTR_LIST_##VALUES) \
	171	DEF_ATTR_TREE_LIST (ATTR_FORMAT_##TYPE##_##VALUES, ATTR_FORMAT, \
	172	ATTR_##TYPE##_##VALUES, ATTR_NONNULL_##FA) \
	173	DEF_ATTR_TREE_LIST (ATTR_FORMAT_##TYPE##_NOTHROW_##VALUES, ATTR_FORMAT,\
9a238586	174	ATTR_##TYPE##_##VALUES, ATTR_NOTHROW_NONNULL_##FA)
79ed7328 JT	175	DEF_FORMAT_ATTRIBUTE(PRINTF,1,1_0)
79ed7328 JT	176	DEF_FORMAT_ATTRIBUTE(PRINTF,1,1_2)
b1e3f20e JJ	177	DEF_FORMAT_ATTRIBUTE_BOTH(PRINTF,2,2_0)
	178	DEF_FORMAT_ATTRIBUTE_BOTH(PRINTF,2,2_3)
	179	DEF_FORMAT_ATTRIBUTE_BOTH(PRINTF,3,3_0)
	180	DEF_FORMAT_ATTRIBUTE_BOTH(PRINTF,3,3_4)
	181	DEF_FORMAT_ATTRIBUTE_NOTHROW(PRINTF,4,4_0)
	182	DEF_FORMAT_ATTRIBUTE_NOTHROW(PRINTF,4,4_5)
	183	DEF_FORMAT_ATTRIBUTE_NOTHROW(PRINTF,5,5_0)
	184	DEF_FORMAT_ATTRIBUTE_NOTHROW(PRINTF,5,5_6)
79ed7328 JT	185	DEF_FORMAT_ATTRIBUTE(SCANF,1,1_0)
79ed7328 JT	186	DEF_FORMAT_ATTRIBUTE(SCANF,1,1_2)
b1e3f20e JJ	187	DEF_FORMAT_ATTRIBUTE_BOTH(SCANF,2,2_0)
	188	DEF_FORMAT_ATTRIBUTE_BOTH(SCANF,2,2_3)
	189	DEF_FORMAT_ATTRIBUTE_NOTHROW(STRFTIME,3,3_0)
	190	DEF_FORMAT_ATTRIBUTE_NOTHROW(STRFMON,3,3_4)
6431177a	191	#undef DEF_FORMAT_ATTRIBUTE
b1e3f20e JJ	192	#undef DEF_FORMAT_ATTRIBUTE_NOTHROW
b1e3f20e JJ	193	#undef DEF_FORMAT_ATTRIBUTE_BOTH
6431177a	194
79ed7328 JT	195	/* Construct a tree for a format_arg attribute. */
79ed7328 JT	196	#define DEF_FORMAT_ARG_ATTRIBUTE(FA) \
9a238586 KG	197	DEF_ATTR_TREE_LIST (ATTR_FORMAT_ARG_##FA, ATTR_FORMAT_ARG, \
9a238586 KG	198	ATTR_LIST_##FA, ATTR_NOTHROW_NONNULL_##FA)
79ed7328 JT	199	DEF_FORMAT_ARG_ATTRIBUTE(1)
	200	DEF_FORMAT_ARG_ATTRIBUTE(2)
	201	#undef DEF_FORMAT_ARG_ATTRIBUTE
6431177a	202