diff options
author | Nathan Sidwell <nathan@acm.org> | 2020-10-07 04:56:41 -0700 |
---|---|---|
committer | Nathan Sidwell <nathan@acm.org> | 2020-10-07 05:06:52 -0700 |
commit | ba42c30445cef0aef15405d92361a536e12ae865 (patch) | |
tree | 50b6985ac77c2bd6f2de178e6bc8a1e9ab8c6b7d | |
parent | 76136f7f0ce8f4e27ac194af6429d378360b7b41 (diff) | |
download | gcc-ba42c30445cef0aef15405d92361a536e12ae865.zip gcc-ba42c30445cef0aef15405d92361a536e12ae865.tar.gz gcc-ba42c30445cef0aef15405d92361a536e12ae865.tar.bz2 |
c++: Adding exception specs can changed dependentness
Making an exception variant can cause a non-dependent function type to
become dependent (since c++17 eh-specs are part of the type). The
same is (possibly?) true for adding a late return type. Fixed thusly.
My upcoming local extern-decl changes have a test case that covers
this (which was how I found it).
gcc/cp/
* tree.c (build_cp_fntype_variant): Clear
TYPE_DEPENDENT_P_VALID if necessary.
-rw-r--r-- | gcc/cp/tree.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/cp/tree.c b/gcc/cp/tree.c index 8b7c679..074fa0c 100644 --- a/gcc/cp/tree.c +++ b/gcc/cp/tree.c @@ -2638,6 +2638,9 @@ build_cp_fntype_variant (tree type, cp_ref_qualifier rqual, /* Need to build a new variant. */ v = build_variant_type_copy (type); + if (!TYPE_DEPENDENT_P (v)) + /* We no longer know that it's not type-dependent. */ + TYPE_DEPENDENT_P_VALID (v) = false; TYPE_RAISES_EXCEPTIONS (v) = raises; TYPE_HAS_LATE_RETURN_TYPE (v) = late; switch (rqual) |