diff options
author | Nathaniel Shead <nathanieloshead@gmail.com> | 2023-12-16 10:59:03 +1100 |
---|---|---|
committer | Nathaniel Shead <nathanieloshead@gmail.com> | 2023-12-16 15:09:50 +1100 |
commit | 39f9c426f58448d6df340cdccd84e05721a20921 (patch) | |
tree | ef54f6899319cba903a142e3fb98febc27600782 /gcc/testsuite/g++.dg/cpp0x | |
parent | 0cfde688e2133844a5d9b6cce9f2e73b620ba072 (diff) | |
download | gcc-39f9c426f58448d6df340cdccd84e05721a20921.zip gcc-39f9c426f58448d6df340cdccd84e05721a20921.tar.gz gcc-39f9c426f58448d6df340cdccd84e05721a20921.tar.bz2 |
c++: Fix unchecked use of CLASSTYPE_AS_BASE [PR113031]
My previous commit (naively) assumed that a TREE_CODE of RECORD_TYPE or
UNION_TYPE was sufficient for optype to be considered a "class type".
However, this does not account for e.g. template type parameters of
record or union type. This patch corrects to check for CLASS_TYPE_P
before checking for as-base conversion.
PR c++/113031
gcc/cp/ChangeLog:
* constexpr.cc (cxx_fold_indirect_ref_1): Check for CLASS_TYPE
before using CLASSTYPE_AS_BASE.
gcc/testsuite/ChangeLog:
* g++.dg/cpp0x/pr113031.C: New test.
Signed-off-by: Nathaniel Shead <nathanieloshead@gmail.com>
Diffstat (limited to 'gcc/testsuite/g++.dg/cpp0x')
-rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/pr113031.C | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/cpp0x/pr113031.C b/gcc/testsuite/g++.dg/cpp0x/pr113031.C new file mode 100644 index 0000000..aecdc3f --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/pr113031.C @@ -0,0 +1,34 @@ +// PR c++/113031 +// { dg-do compile } + +template <typename> struct variant; + +template <typename _Types, typename _Tp> +variant<_Types> __variant_cast(_Tp __rhs) { return static_cast<variant<_Types>&>(__rhs); } + +template <typename _Types> +struct _Move_assign_base : _Types { + void operator=(_Move_assign_base __rhs) { __variant_cast<_Types>(__rhs); } +}; + +template <typename _Types> +struct variant : _Move_assign_base<_Types> { + void emplace() { + variant __tmp; + *this = __tmp; + } +}; + +struct _Undefined_class { + struct _Nocopy_types { + void (_Undefined_class::*_M_member_pointer)(); + }; + struct function : _Nocopy_types { + struct optional { + void test03() { + variant<function> v; + v.emplace(); + } + }; + }; +}; |