gcc/gcc/c-common.c

1 /* Subroutines shared by all languages that are variants of C.
11 GNU CC is distributed in the hope that it will be useful,
74    and file of the if.  If a potentially ambiguous else is seen, that
75    fact is recorded; the warning is issued when we can be sure that
146      statement, unless we see an else branch for that one, too.  */
154      ambiguous if this one also has an else.  So don't warn in that
264 	 for any individual strings that are not wide.  */
316      so that copying it to a non-const pointer will get a warning.
447      insert attributes, so that they have the opportunity to override
779 	    /* If a parameter list is specified, verify that the format_num
801 		    /* Verify that first_arg_num points to the last arg,
847 	    /* If a parameter list is specified, verify that the format_num
957    Note that attributes in SPECS_ATTRS are stored in the TREE_PURPOSE of
1032    in a particular position, but we don't want to support that just yet.
1187    Also initialize the name of function that modify the format string for
1261 /* Record information for the names of function that modify the format
1384 	 that modifies the format arg.  */
1513 	     it is an operand number, so set PARAMS to that operand.  */
1825 	 that precede the "real" argument.  */
1883 	  register const char *that;
1886 	  that = 0;
1895 		that = IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (cur_type)));
1897 		that = IDENTIFIER_POINTER (TYPE_NAME (cur_type));
1903 	  if (that == 0)
1906 		that = "pointer";
1908 		that = "different type";
1917 	    that = IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (cur_type)));
1919 	  if (strcmp (this, that) != 0)
1920 	    warning ("%s format, %s arg (arg %d)", this, that, arg_num);
1926    Invoke this function on every expression that the language
1942    Invoke this function on every expression that
1944    (2) might be a constant expression that overflowed, and
1974    Invoke this function on every expression that might be implicitly
1996    Invoke this function on every expression that is converted implicitly,
2078    that is unsigned if UNSIGNEDP is nonzero, otherwise signed.  */
2116 /* Return a data type that has machine mode MODE.
2188      a bit-wise negation, so use that operation instead.  */
2194      that we need one more bit for a signed than unsigned type.  */
2282    If this function returns nonzero, it means that the comparison has
2284    that value.  */
2306   /* Handle the case that OP0 does not *contain* a conversion
2372      For just EQ_EXPR and NE_EXPR there is another technique that
2375      and see if that preserves the constant's value.  */
2425       /* This used to be a switch, but Genix compiler can't handle that.  */
2470 	 comparison had *any* fixed result, it follows that the
2527 	 in the type of the operand that is not constant.
2574 		 are requested.  However, if OP0 is a constant that is
2741 	 since that affects how `default_conversion' will behave.  */
2806    We allow for the fact that the directive line may contain
2904    We allow for the fact that the directive line may contain
2994      incomplete type.  Note that the use of POINTER_TYPE_P also allows
2998      with such an entity we don't flag that here.  Thus, special case
2999      code for that case is required in the C++ front-end.  */
3039 	     as an unrestricted pointer, if that unrestricted pointer
3088      tell that `a' and `b' were the same, then `a->f' and `b->f' are
3143        neighboring the bitfield.  Perhaps that's impossible.  For now,
3144        let's just assume that bitfields can alias everything, which is
3153      that such accesses have implementation-defined behavior.  */
3201 	/* The C standard guarantess that any object may be accessed
3202 	   via an lvalue that has character type.  We don't have to
3208     /* Anything that can alias one of the array elements can alias
3214        pointers and references to functions, but that's
3223        we don't yet make any use of that information.)  */
3235 	 Technically, this approach is actually more conservative that
3249          And, it doesn't make sense for that to be legal unless you
3262       /* Types that are not allocated on the permanent obstack are not