(convert_arguments): Don't warn about sign change

for an INTEGER_CST inside NOP_EXPR, if value not fits new type.
Delete the code to check for VAL having enumeration type.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@4906 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/c-typeck.c b/gcc/c-typeck.c
index 31aa96d..68c8946 100644 (file)
--- a/gcc/c-typeck.c
+++ b/gcc/c-typeck.c
@@ -2073,12 +2073,19 @@ convert_arguments (typelist, values, name, fundecl)
                        /* Change in signedness doesn't matter
                           if a constant value is unaffected.  */
                        ;
+                     /* Likewise for a constant in a NOP_EXPR.  */
+                     else if (TREE_CODE (val) == NOP_EXPR
+                              && TREE_CODE (TREE_OPERAND (val, 0)) == INTEGER_CST
+                              && int_fits_type_p (TREE_OPERAND (val, 0), type))
+                       ;
+#if 0 /* We never get such tree structure here.  */
                      else if (TREE_CODE (TREE_TYPE (val)) == ENUMERAL_TYPE
                               && int_fits_type_p (TYPE_MIN_VALUE (TREE_TYPE (val)), type)
                               && int_fits_type_p (TYPE_MAX_VALUE (TREE_TYPE (val)), type))
                        /* Change in signedness doesn't matter
                           if an enum value is unaffected.  */
                        ;
+#endif
                      /* If the value is extended from a narrower
                         unsigned type, it doesn't matter whether we
                         pass it as signed or unsigned; the value