From 0f7a47dd9f584cb16078a85e75f0f680538ec07a Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Tue, 9 Sep 2008 21:16:49 +0200 Subject: [PATCH] re PR c++/37389 (expected integer_cst, have error_mark in build_enumerator) PR c++/37389 * decl.c (build_enumerator): Handle previous value's DECL_INITIAL being error_operand_p. Don't clear value if it was error_mark_node. * g++.dg/parse/enum4.C: New test. From-SVN: r140165 --- gcc/cp/ChangeLog | 6 ++++++ gcc/cp/decl.c | 29 ++++++++++++++++------------- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/parse/enum4.C | 10 ++++++++++ 4 files changed, 37 insertions(+), 13 deletions(-) create mode 100644 gcc/testsuite/g++.dg/parse/enum4.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 633161543f9e..be42b37cbfdc 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2008-09-09 Jakub Jelinek + + PR c++/37389 + * decl.c (build_enumerator): Handle previous value's DECL_INITIAL + being error_operand_p. Don't clear value if it was error_mark_node. + 2008-09-09 Paolo Bonzini * cp-objcp-common.h (LANG_HOOKS_EXPAND_DECL): Remove. diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c index 3348d28425c1..d7c70182128e 100644 --- a/gcc/cp/decl.c +++ b/gcc/cp/decl.c @@ -11143,21 +11143,26 @@ build_enumerator (tree name, tree value, tree enumtype) tree prev_value; bool overflowed; - /* The next value is the previous value plus one. We can - safely assume that the previous value is an INTEGER_CST. + /* The next value is the previous value plus one. add_double doesn't know the type of the target expression, so we must check with int_fits_type_p as well. */ prev_value = DECL_INITIAL (TREE_VALUE (TYPE_VALUES (enumtype))); - overflowed = add_double (TREE_INT_CST_LOW (prev_value), - TREE_INT_CST_HIGH (prev_value), - 1, 0, &lo, &hi); - value = build_int_cst_wide (TREE_TYPE (prev_value), lo, hi); - overflowed |= !int_fits_type_p (value, TREE_TYPE (prev_value)); - - if (overflowed) + if (error_operand_p (prev_value)) + value = error_mark_node; + else { - error ("overflow in enumeration values at %qD", name); - value = error_mark_node; + overflowed = add_double (TREE_INT_CST_LOW (prev_value), + TREE_INT_CST_HIGH (prev_value), + 1, 0, &lo, &hi); + value = build_int_cst_wide (TREE_TYPE (prev_value), lo, hi); + overflowed + |= !int_fits_type_p (value, TREE_TYPE (prev_value)); + + if (overflowed) + { + error ("overflow in enumeration values at %qD", name); + value = error_mark_node; + } } } else @@ -11181,8 +11186,6 @@ build_enumerator (tree name, tree value, tree enumtype) /* Silently convert the value so that we can continue. */ value = perform_implicit_conversion (ENUM_UNDERLYING_TYPE (enumtype), value, tf_none); - if (value == error_mark_node) - value = NULL_TREE; } } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 185c066b9ba9..79182a476c17 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-09-09 Jakub Jelinek + + PR c++/37389 + * g++.dg/parse/enum4.C: New test. + 2008-09-09 Daniel Kraft PR fortran/37429 diff --git a/gcc/testsuite/g++.dg/parse/enum4.C b/gcc/testsuite/g++.dg/parse/enum4.C new file mode 100644 index 000000000000..6a20ea9cbf46 --- /dev/null +++ b/gcc/testsuite/g++.dg/parse/enum4.C @@ -0,0 +1,10 @@ +// PR c++/37389 +// { dg-do compile } +// { dg-options "-std=gnu++98" } + +enum +{ + A = 9223372036854775807ULL * 2 + 1, + B = B0, // { dg-error "was not declared|overflow" } + C = C0 // { dg-error "was not declared" } +}; -- 2.47.3