diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 470d82536f4..32fbe6f6163 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,13 @@ +2016-02-08 Marek Polacek + + PR c++/69688 + * constexpr.c (clear_cv_and_fold_caches): Renamed from clear_cv_cache. + Call clear_fold_cache. + * cp-tree.h: Adjust declaration. + * decl.c (finish_enum_value_list): Call clear_cv_and_fold_caches + rather than clear_cv_cache and clear_fold_cache. + * typeck2.c (store_init_value): Call clear_cv_and_fold_caches. + 2016-02-08 Jason Merrill * cp-tree.h (CONV_FOLD, CONV_BACKEND_CONVERT): New. diff --git a/gcc/cp/constexpr.c b/gcc/cp/constexpr.c index 05f68435cd0..85fc64ed8cc 100644 --- a/gcc/cp/constexpr.c +++ b/gcc/cp/constexpr.c @@ -4098,12 +4098,13 @@ maybe_constant_value (tree t, tree decl) return ret; } -/* Dispose of the whole CV_CACHE. */ +/* Dispose of the whole CV_CACHE and FOLD_CACHE. */ void -clear_cv_cache (void) +clear_cv_and_fold_caches (void) { gt_cleare_cache (cv_cache); + clear_fold_cache (); } /* Like maybe_constant_value but first fully instantiate the argument. diff --git a/gcc/cp/cp-tree.h b/gcc/cp/cp-tree.h index 786927b51ac..ead017edab2 100644 --- a/gcc/cp/cp-tree.h +++ b/gcc/cp/cp-tree.h @@ -6922,7 +6922,7 @@ extern bool var_in_constexpr_fn (tree); extern void explain_invalid_constexpr_fn (tree); extern vec cx_error_context (void); extern tree fold_sizeof_expr (tree); -extern void clear_cv_cache (void); +extern void clear_cv_and_fold_caches (void); /* In c-family/cilk.c */ extern bool cilk_valid_spawn (tree); diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c index 2c337bc3d18..11f7ce615a4 100644 --- a/gcc/cp/decl.c +++ b/gcc/cp/decl.c @@ -13414,8 +13414,7 @@ finish_enum_value_list (tree enumtype) /* Each enumerator now has the type of its enumeration. Clear the cache so that this change in types doesn't confuse us later on. */ - clear_cv_cache (); - clear_fold_cache (); + clear_cv_and_fold_caches (); } /* Finishes the enum type. This is called only the first time an diff --git a/gcc/cp/typeck2.c b/gcc/cp/typeck2.c index 419faa2655e..2a76c96c7d4 100644 --- a/gcc/cp/typeck2.c +++ b/gcc/cp/typeck2.c @@ -837,6 +837,9 @@ store_init_value (tree decl, tree init, vec** cleanups, int flags) /* Handle aggregate NSDMI in non-constant initializers, too. */ value = replace_placeholders (value, decl); + /* DECL may change value; purge caches. */ + clear_cv_and_fold_caches (); + /* If the initializer is not a constant, fill in DECL_INITIAL with the bits that are constant, and then return an expression that will perform the dynamic initialization. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index be3f5ec5407..b30f01d0ad2 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-02-08 Marek Polacek + + PR c++/69688 + * g++.dg/init/const12.C: New test. + 2016-02-08 Bernd Schmidt PR target/60410 diff --git a/gcc/testsuite/g++.dg/init/const12.C b/gcc/testsuite/g++.dg/init/const12.C new file mode 100644 index 00000000000..2f6f9b280fb --- /dev/null +++ b/gcc/testsuite/g++.dg/init/const12.C @@ -0,0 +1,20 @@ +// PR c++/69688 +// { dg-do compile } +// { dg-options "-Wsign-compare" } + +struct S +{ + static const int s; + static const char c[]; + static wchar_t w[]; + + S () + { + for (int i = 0; i < s; i++) + w[i] = 0; + } +}; + +const char S::c[] = "x"; +const int S::s = sizeof (S::c) - 1; +wchar_t S::w[S::s];