OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

(convert_arguments): Give proper warnings when converting

Browse Source 
COMPLEX_TYPE; widen check to include all integral types.

From-SVN: r8012
This commit is contained in:
Richard Kenner 1994-09-01 19:13:19 -04:00
parent 1a655ca39b
commit aae43c5f40
1 changed files with 13 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
gcc/c-typeck.c
View File

@ -1659,12 +1659,21 @@ convert_arguments (typelist, values, name, fundecl)
{ {
int formal_prec = TYPE_PRECISION (type); int formal_prec = TYPE_PRECISION (type);
if (TREE_CODE (type) != REAL_TYPE if (INTEGRAL_TYPE_P (type)
&& TREE_CODE (TREE_TYPE (val)) == REAL_TYPE) && TREE_CODE (TREE_TYPE (val)) == REAL_TYPE)
warn_for_assignment ("%s as integer rather than floating due to prototype", (char *) 0, name, parmnum + 1); warn_for_assignment ("%s as integer rather than floating due to prototype", (char *) 0, name, parmnum + 1);
else if (TREE_CODE (type) == COMPLEX_TYPE
&& TREE_CODE (TREE_TYPE (val)) == REAL_TYPE)
warn_for_assignment ("%s as complex rather than floating due to prototype", (char *) 0, name, parmnum + 1);
else if (TREE_CODE (type) == REAL_TYPE else if (TREE_CODE (type) == REAL_TYPE
&& TREE_CODE (TREE_TYPE (val)) != REAL_TYPE) && INTEGRAL_TYPE_P (TREE_TYPE (val)))
warn_for_assignment ("%s as floating rather than integer due to prototype", (char *) 0, name, parmnum + 1); warn_for_assignment ("%s as floating rather than integer due to prototype", (char *) 0, name, parmnum + 1);
else if (TREE_CODE (type) == REAL_TYPE
&& TREE_CODE (TREE_TYPE (val)) == COMPLEX_TYPE)
warn_for_assignment ("%s as floating rather than complex due to prototype", (char *) 0, name, parmnum + 1);
/* ??? At some point, messages should be written about
conversions between complex types, but that's too messy
to do now. */
else if (TREE_CODE (type) == REAL_TYPE else if (TREE_CODE (type) == REAL_TYPE
&& TREE_CODE (TREE_TYPE (val)) == REAL_TYPE) && TREE_CODE (TREE_TYPE (val)) == REAL_TYPE)
{ {
@ -1674,10 +1683,8 @@ convert_arguments (typelist, values, name, fundecl)
warn_for_assignment ("%s as `float' rather than `double' due to prototype", (char *) 0, name, parmnum + 1); warn_for_assignment ("%s as `float' rather than `double' due to prototype", (char *) 0, name, parmnum + 1);
} }
/* Detect integer changing in width or signedness. */ /* Detect integer changing in width or signedness. */
else if ((TREE_CODE (type) == INTEGER_TYPE else if (INTEGRAL_TYPE_P (type)
|| TREE_CODE (type) == ENUMERAL_TYPE) && INTEGRAL_TYPE_P (TREE_TYPE (val)))
&& (TREE_CODE (TREE_TYPE (val)) == INTEGER_TYPE
|| TREE_CODE (TREE_TYPE (val)) == ENUMERAL_TYPE))
{ {
tree would_have_been = default_conversion (val); tree would_have_been = default_conversion (val);
tree type1 = TREE_TYPE (would_have_been); tree type1 = TREE_TYPE (would_have_been);