gcc/c-family/c-common.c

7 the terms of the GNU General Public License as published by the Free
187 /* Nonzero causes -E output not to be done, but directives such as
432    reserved words such as 'class'.  In C++, 'class' is a reserved
658   /* FIXME: logically, noreturn attributes should be listed as
693   /* The same comments as for noreturn attributes apply to const ones.  */
851 c_addr_space_name (addr_space_t as)
853   int rid = RID_FIRST_ADDR_SPACE + as;
1063      `const wchar_t[N]'.  We use the same logic when invoked as a C
1091    be called multiple times, and works as a stack.  */
1126    before calling this function, as have the contents of SAVE_EXPR,
1160 /* Internal helper for c_fully_fold.  EXPR and IN_INIT are as for
1190      anything else not counted as an expression cannot usefully be
1198      already been folded, as have __builtin_* function calls, and such
1251   /* Fold individual tree codes as appropriate.  */
1619 /* The same as above but print an unconditional error.  */
1704      programmer. That is, an expression such as op && MASK
1996    sizeof as last operand of certain builtins.  */
2121 			"expression as the destination; did you mean to "
2128 			"expression as the destination; did you mean to "
2133 			"expression as the destination; did you mean to "
2145 		      "pointer type %qT as the destination; expected %qT "
2161 			"expression as the source; did you mean to "
2168 			"expression as the source; did you mean to "
2173 			"expression as the source; did you mean to "
2185 		      "pointer type %qT as the source; expected %qT "
2201 			"expression as the first source; did you mean to "
2208 			"expression as the first source; did you mean to "
2213 			"expression as the first source; did you mean to "
2225 		      "pointer type %qT as the first source; expected %qT "
2241 			"expression as the second source; did you mean to "
2248 			"expression as the second source; did you mean to "
2253 			"expression as the second source; did you mean to "
2265 		      "pointer type %qT as the second source; expected %qT "
2343 	     "%q+D declared as variadic function", decl);
2349    in the vectors.  That's fine with vector pointers as we can consider,
2350    say, a vector of 8 elements as two consecutive vectors of 4 elements,
2369    It could in principle call vector_targets_convertible_p as a subroutine,
2377    in the context for binary operators, as a check if use is possible without
2420    and have vector types, V0 has the same type as V1, and the number of
2490 		       "must have the same size as inner type of the mask");
3291 	 didn't exclude the LHS, we'd get it twice, once as a read and once
3292 	 as a write.  */
3809 /* Return a signed type the same as TYPE in other respects.  */
3817 /* Return a type the same as TYPE except unsigned or
3942      the precision as well, so as to yield correct results for
3945      ENUMERAL_TYPE may cause other problems as well.  */
4001   /* Extended integer types of the same width as a standard type have
4002      lesser rank, so those of the same width as int promote to int or
4107 /* Given an expression as a tree, return its original type.  Do this
4227      would be sign-extended and then regarded as unsigned.
4424 	 using the args exactly as we received them.  */
4555   /* Convert the integer argument to a type the same size as sizetype
4563      Do this multiplication as signed, then convert to the appropriate type
4724 			"the address of %qD will always evaluate as %<true%>",
4819 		   "suggest parentheses around assignment used as truth value");
4946      TYPE_VALUES of ENUMERAL_TYPEs is stored as a TREE_LIST.  */
5007      variant as canonical.  */
5303    (see builtin_type_for_size).  In which case the function type as a whole
5463   /* `signed' is the same as `int'.  FIXME: the declarations of "signed",
6078   /* Consider a NULL key (such as arises with a `default' label) to be
6120       error_at (loc, "pointers are not permitted as case values");
6242      the switch is unreachable.  Note that we do not add a case label, as
6367 	  /* Mark the CASE_LOW part of the case entry as seen.  */
6383 		 part of the case entry as seen.  */
6456    or decrement (as indicated by CODE) of ARG.  The front end must check for
6589    identifier as an argument, so the front end shouldn't look it up.  */
6609 /* Handle a "packed" attribute; arguments as in
6646 /* Handle a "nocommon" attribute; arguments as in
6665 /* Handle a "common" attribute; arguments as in
6683 /* Handle a "noreturn" attribute; arguments as in
6713 /* Handle a "hot" and attribute; arguments as in
6741 /* Handle a "cold" and attribute; arguments as in
6769 /* Handle a "no_sanitize_address" attribute; arguments as in
6785 /* Handle a "no_address_safety_analysis" attribute; arguments as in
6802 /* Handle a "no_sanitize_undefined" attribute; arguments as in
6818 /* Handle a "stack_protect" attribute; arguments as in
6837 /* Handle a "noinline" attribute; arguments as in
6865 /* Handle a "noclone" attribute; arguments as in
6882 /* Handle a "no_icf" attribute; arguments as in
6900 /* Handle a "always_inline" attribute; arguments as in
6931 /* Handle a "gnu_inline" attribute; arguments as in
6954 /* Handle a "leaf" attribute; arguments as in
6976 /* Handle an "artificial" attribute; arguments as in
6999 /* Handle a "flatten" attribute; arguments as in
7020 /* Handle a "warning" or "error" attribute; arguments as in
7041 /* Handle a "used" attribute; arguments as in
7068 /* Handle a "unused" attribute; arguments as in
7106 /* Handle a "externally_visible" attribute; arguments as in
7136 /* Handle the "no_reorder" attribute. Arguments as in
7160 /* Handle a "const" attribute; arguments as in
7189 /* Handle a "transparent_union" attribute; arguments as in
7233 	     to such a type removed as a no-op.  */
7308 /* Handle a "constructor" attribute; arguments as in
7338 /* Handle a "destructor" attribute; arguments as in
7402 /* Handle a "mode" attribute; arguments as in
7506 	  addr_space_t as = TYPE_ADDR_SPACE (TREE_TYPE (type));
7509 	  if (!targetm.addr_space.valid_pointer_mode (mode, as))
7560 	      /* We cannot build a type variant, as there's code that assumes
7586 /* Handle a "section" attribute; arguments as in
7766 /* Handle a "aligned" attribute; arguments as in
7838       doing it for the GNU attribute syntax as well.  */
7844 	error ("alignment for %q+D was previously specified as %d "
7861 /* Handle a "weak" attribute; arguments as in
7896 /* Handle an "alias" or "ifunc" attribute; arguments as in
7898    whether this is an alias as opposed to ifunc attribute.  */
7920       error ("%q+D defined both normally and as %qE attribute", decl, name);
7950       /* This counts as a use of the object pointed to.  */
7985 /* Handle an "alias" or "ifunc" attribute; arguments as in
7995 /* Handle an "alias" or "ifunc" attribute; arguments as in
8005 /* Handle a "weakref" attribute; arguments as in struct
8068 /* Handle an "visibility" attribute; arguments as in
8158   /* Go ahead and attach the attribute to the node as well.  This is needed
8212 /* Handle an "tls_model" attribute; arguments as in
8254 /* Handle a "no_instrument_function" attribute; arguments as in
8277 /* Handle a "malloc" attribute; arguments as in
8296 /* Handle a "alloc_size" attribute; arguments as in
8324 /* Handle a "alloc_align" attribute; arguments as in
8348 /* Handle a "assume_aligned" attribute; arguments as in
8373 /* Handle a "fn spec" attribute; arguments as in
8387 /* Handle a "bnd_variable_size" attribute; arguments as in
8403 /* Handle a "bnd_legacy" attribute; arguments as in
8419 /* Handle a "bnd_instrument" attribute; arguments as in
8435 /* Handle a "warn_unused" attribute; arguments as in
8456 /* Handle an "omp declare simd" attribute; arguments as in
8465 /* Handle an "omp declare target" attribute; arguments as in
8474 /* Handle a "returns_twice" attribute; arguments as in
8492 /* Handle a "no_limit_stack" attribute; arguments as in
8521 /* Handle a "pure" attribute; arguments as in
8641 /* Handle the TM attributes; arguments as in struct attribute_spec.handler.
8703 /* Handle the TM_WRAP attribute; arguments as in
8759 /* Handle a "no vops" attribute; arguments as in
8772 /* Handle a "deprecated" attribute; arguments as in
8837 /* Handle a "vector_size" attribute; arguments as in
9001    that are marked as requiring a non-null pointer argument.  The NARGS
9093 	     nevertheless, as we are guaranteed that it's exactly
9094 	     as wide as a pointer, and we don't want to force
9159 /* Handle a "nothrow" attribute; arguments as in
9178 /* Handle a "cleanup" attribute; arguments as in
9200   /* ??? We could support pointers to functions here as well, if
9452 /* For handling "optimize" attribute. arguments as in
9473       /* If we previously had some optimization options, use them as the
9517 /* Handle a "returns_nonnull" attribute; arguments as in
9533 /* Handle a "designated_init" attribute; arguments as in
10075    traditional rendering of offsetof as a macro.  Return the folded result.  */
10232 					"used as %<asm%> output")),
10238 				     G_("read-only member %qD used as %<asm%> output")),
10245 				 G_("read-only variable %qD used as %<asm%> output")),
10251 				 G_("read-only parameter %qD use as %<asm%> output")),
10263 				      "used as %<asm%>output")),
10270 				 G_("function %qD used as %<asm%> output")),
10276 				 G_("read-only location %qE used as %<asm%> output")),
10290       error_at (loc, "lvalue required as left operand of assignment");
10293       error_at (loc, "lvalue required as increment operand");
10296       error_at (loc, "lvalue required as decrement operand");
10299       error_at (loc, "lvalue required as unary %<&%> operand");
10405 			  /* Since we treat size types now as ordinary
10487       /* If we proceed with the array type as it is, we'll eventually
10578      as the pointer parameter, so we shouldn't get any complaints from the
10796   /* Insert a SIZE_T parameter as the first param.  If there isn't
10814   /* Add the size parameter and leave as a function call for processing.  */
11270    values used as operands of binary operators.  Where it returns true, and
11273    as essentially the same.
11739 /* Setup a TYPE_DECL node as a typedef representation.
11744    as the TYPE_NAME of this brand new (duplicate) ..._TYPE node.
11840 /* If T is a TYPE_DECL declared locally, mark it as used.  */
12058    listed in C99 6.7.1.1.  6.7.1.3 indicates that `typedef' is listed as
12312    alignment, as defined by [basic.align] in the c++-11