180 lines
6.6 KiB
Modula-2
180 lines
6.6 KiB
Modula-2
/* Copyright (C) 2001, 2002 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 2, 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 COPYING. If not, write to the Free
|
|
Software Foundation, 59 Temple Place - Suite 330, Boston, MA
|
|
02111-1307, USA. */
|
|
|
|
/* 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_FN_ATTR (NAME, ATTRS, PREDICATE)
|
|
|
|
Specifies that the function with name NAME (a previous ENUM for an
|
|
IDENTIFIER_NODE) has attributes ATTRS (a previous ENUM) if
|
|
PREDICATE is true. */
|
|
|
|
DEF_ATTR_NULL_TREE (ATTR_NULL)
|
|
|
|
/* Note that below we must avoid whitespace in arguments of CONCAT*. */
|
|
|
|
/* Construct a tree for a given integer and a list containing it. */
|
|
#define DEF_ATTR_FOR_INT(VALUE) \
|
|
DEF_ATTR_INT (CONCAT2 (ATTR_,VALUE), VALUE) \
|
|
DEF_ATTR_TREE_LIST (CONCAT2 (ATTR_LIST_,VALUE), ATTR_NULL, \
|
|
CONCAT2 (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)
|
|
#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 (CONCAT4 (ATTR_LIST_,VALUE1,_,VALUE2), ATTR_NULL, \
|
|
CONCAT2 (ATTR_,VALUE1), CONCAT2 (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)
|
|
#undef DEF_LIST_INT_INT
|
|
|
|
/* Construct tress 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_PURE, "pure")
|
|
DEF_ATTR_IDENT (ATTR_SCANF, "scanf")
|
|
DEF_ATTR_IDENT (ATTR_STRFMON, "strfmon")
|
|
DEF_ATTR_IDENT (ATTR_STRFTIME, "strftime")
|
|
|
|
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_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_NONNULL_1, ATTR_NONNULL, ATTR_LIST_1, \
|
|
ATTR_NOTHROW_LIST)
|
|
DEF_ATTR_TREE_LIST (ATTR_NONNULL_2, ATTR_NONNULL, ATTR_LIST_2, \
|
|
ATTR_NOTHROW_LIST)
|
|
DEF_ATTR_TREE_LIST (ATTR_NONNULL_3, ATTR_NONNULL, ATTR_LIST_3, \
|
|
ATTR_NOTHROW_LIST)
|
|
|
|
/* Construct a tree for a format attribute. */
|
|
#define DEF_FORMAT_ATTRIBUTE(TYPE, FA, VALUES) \
|
|
DEF_ATTR_TREE_LIST (CONCAT4 (ATTR_,TYPE,_,VALUES), ATTR_NULL, \
|
|
CONCAT2 (ATTR_,TYPE), CONCAT2 (ATTR_LIST_,VALUES)) \
|
|
DEF_ATTR_TREE_LIST (CONCAT4 (ATTR_FORMAT_,TYPE,_,VALUES), ATTR_FORMAT, \
|
|
CONCAT4 (ATTR_,TYPE,_,VALUES), CONCAT2 (ATTR_NONNULL_,FA))
|
|
DEF_FORMAT_ATTRIBUTE(PRINTF,1,1_0)
|
|
DEF_FORMAT_ATTRIBUTE(PRINTF,1,1_2)
|
|
DEF_FORMAT_ATTRIBUTE(PRINTF,2,2_0)
|
|
DEF_FORMAT_ATTRIBUTE(PRINTF,2,2_3)
|
|
DEF_FORMAT_ATTRIBUTE(PRINTF,3,3_0)
|
|
DEF_FORMAT_ATTRIBUTE(PRINTF,3,3_4)
|
|
DEF_FORMAT_ATTRIBUTE(SCANF,1,1_0)
|
|
DEF_FORMAT_ATTRIBUTE(SCANF,1,1_2)
|
|
DEF_FORMAT_ATTRIBUTE(SCANF,2,2_0)
|
|
DEF_FORMAT_ATTRIBUTE(SCANF,2,2_3)
|
|
DEF_FORMAT_ATTRIBUTE(STRFTIME,3,3_0)
|
|
DEF_FORMAT_ATTRIBUTE(STRFMON,3,3_4)
|
|
#undef DEF_FORMAT_ATTRIBUTE
|
|
|
|
/* Construct a tree for a format_arg attribute. */
|
|
#define DEF_FORMAT_ARG_ATTRIBUTE(FA) \
|
|
DEF_ATTR_TREE_LIST (CONCAT2 (ATTR_FORMAT_ARG_,FA), ATTR_FORMAT_ARG, \
|
|
CONCAT2 (ATTR_LIST_,FA), CONCAT2 (ATTR_NONNULL_,FA))
|
|
DEF_FORMAT_ARG_ATTRIBUTE(1)
|
|
DEF_FORMAT_ARG_ATTRIBUTE(2)
|
|
#undef DEF_FORMAT_ARG_ATTRIBUTE
|
|
|
|
/* Define an attribute for a function, along with the IDENTIFIER_NODE. */
|
|
#define DEF_FN_ATTR_IDENT(NAME, ATTRS, PREDICATE) \
|
|
DEF_ATTR_IDENT (CONCAT2(ATTR_,NAME), STRINGX(NAME)) \
|
|
DEF_FN_ATTR (CONCAT2(ATTR_,NAME), ATTRS, PREDICATE)
|
|
|
|
/* The ISO C functions are always checked (whether <stdio.h> is
|
|
included or not), since it is common to call printf without
|
|
including <stdio.h>. There shouldn't be a problem with this,
|
|
since ISO C reserves these function names whether you include the
|
|
header file or not. In any case, the checking is harmless. With
|
|
-ffreestanding, these default attributes are disabled, and must be
|
|
specified manually if desired. */
|
|
|
|
/* Functions from ISO/IEC 9899:1990. */
|
|
#define DEF_C89_ATTR(NAME, ATTRS) DEF_FN_ATTR_IDENT (NAME, ATTRS, flag_hosted)
|
|
DEF_C89_ATTR (fscanf, ATTR_FORMAT_SCANF_2_3)
|
|
DEF_C89_ATTR (vfprintf, ATTR_FORMAT_PRINTF_2_0)
|
|
DEF_C89_ATTR (strftime, ATTR_FORMAT_STRFTIME_3_0)
|
|
#undef DEF_C89_ATTR
|
|
|
|
/* ISO C99 adds the snprintf and vscanf family functions. */
|
|
#define DEF_C99_ATTR(NAME, ATTRS) \
|
|
DEF_FN_ATTR_IDENT (NAME, ATTRS, \
|
|
(flag_hosted \
|
|
&& (flag_isoc99 || flag_noniso_default_format_attributes)))
|
|
DEF_C99_ATTR (vfscanf, ATTR_FORMAT_SCANF_2_0)
|
|
#undef DEF_C99_ATTR
|
|
|
|
/* Functions not in any version of ISO C. */
|
|
#define DEF_EXT_ATTR(NAME, ATTRS) \
|
|
DEF_FN_ATTR_IDENT (NAME, ATTRS, \
|
|
flag_hosted && flag_noniso_default_format_attributes)
|
|
/* Uniforum/GNU gettext functions. */
|
|
DEF_EXT_ATTR (gettext, ATTR_FORMAT_ARG_1)
|
|
DEF_EXT_ATTR (dgettext, ATTR_FORMAT_ARG_2)
|
|
DEF_EXT_ATTR (dcgettext, ATTR_FORMAT_ARG_2)
|
|
/* X/Open strfmon function. */
|
|
DEF_EXT_ATTR (strfmon, ATTR_FORMAT_STRFMON_3_4)
|
|
#undef DEF_EXT_ATTR
|
|
#undef DEF_FN_ATTR_IDENT
|