-
- Downloads
PR c++/88337 - Implement P1327R1: Allow dynamic_cast in constexpr.
This patch implements <http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1327r1.html>. When build_dynamic_cast realizes that a dynamic_cast needs a run-time check, it generates a call to __dynamic_cast -- see dyncast.cc in libsupc++ for its definition. The gist of my approach is to evaluate such a call at compile time. * constexpr.c (cxx_dynamic_cast_fn_p): New function. (extract_obj_from_addr_offset): New function. (get_component_with_type): New function. (cxx_eval_dynamic_cast_fn): New function. (cxx_eval_call_expression): Call cxx_eval_dynamic_cast_fn for a call to __dynamic_cast. (potential_constant_expression_1): Don't give up on cxx_dynamic_cast_fn_p. * rtti.c (build_dynamic_cast_1): When creating a call to __dynamic_cast, use the location of the original expression. * g++.dg/cpp2a/constexpr-dynamic1.C: New test. * g++.dg/cpp2a/constexpr-dynamic10.C: New test. * g++.dg/cpp2a/constexpr-dynamic11.C: New test. * g++.dg/cpp2a/constexpr-dynamic12.C: New test. * g++.dg/cpp2a/constexpr-dynamic13.C: New test. * g++.dg/cpp2a/constexpr-dynamic14.C: New test. * g++.dg/cpp2a/constexpr-dynamic15.C: New test. * g++.dg/cpp2a/constexpr-dynamic16.C: New test. * g++.dg/cpp2a/constexpr-dynamic17.C: New test. * g++.dg/cpp2a/constexpr-dynamic2.C: New test. * g++.dg/cpp2a/constexpr-dynamic3.C: New test. * g++.dg/cpp2a/constexpr-dynamic4.C: New test. * g++.dg/cpp2a/constexpr-dynamic5.C: New test. * g++.dg/cpp2a/constexpr-dynamic6.C: New test. * g++.dg/cpp2a/constexpr-dynamic7.C: New test. * g++.dg/cpp2a/constexpr-dynamic8.C: New test. * g++.dg/cpp2a/constexpr-dynamic9.C: New test. From-SVN: r279755
Showing
- gcc/cp/ChangeLog 14 additions, 0 deletionsgcc/cp/ChangeLog
- gcc/cp/constexpr.c 237 additions, 1 deletiongcc/cp/constexpr.c
- gcc/cp/rtti.c 1 addition, 0 deletionsgcc/cp/rtti.c
- gcc/testsuite/ChangeLog 21 additions, 0 deletionsgcc/testsuite/ChangeLog
- gcc/testsuite/g++.dg/cpp2a/constexpr-dynamic1.C 40 additions, 0 deletionsgcc/testsuite/g++.dg/cpp2a/constexpr-dynamic1.C
- gcc/testsuite/g++.dg/cpp2a/constexpr-dynamic10.C 12 additions, 0 deletionsgcc/testsuite/g++.dg/cpp2a/constexpr-dynamic10.C
- gcc/testsuite/g++.dg/cpp2a/constexpr-dynamic11.C 35 additions, 0 deletionsgcc/testsuite/g++.dg/cpp2a/constexpr-dynamic11.C
- gcc/testsuite/g++.dg/cpp2a/constexpr-dynamic12.C 28 additions, 0 deletionsgcc/testsuite/g++.dg/cpp2a/constexpr-dynamic12.C
- gcc/testsuite/g++.dg/cpp2a/constexpr-dynamic13.C 86 additions, 0 deletionsgcc/testsuite/g++.dg/cpp2a/constexpr-dynamic13.C
- gcc/testsuite/g++.dg/cpp2a/constexpr-dynamic14.C 105 additions, 0 deletionsgcc/testsuite/g++.dg/cpp2a/constexpr-dynamic14.C
- gcc/testsuite/g++.dg/cpp2a/constexpr-dynamic15.C 14 additions, 0 deletionsgcc/testsuite/g++.dg/cpp2a/constexpr-dynamic15.C
- gcc/testsuite/g++.dg/cpp2a/constexpr-dynamic16.C 20 additions, 0 deletionsgcc/testsuite/g++.dg/cpp2a/constexpr-dynamic16.C
- gcc/testsuite/g++.dg/cpp2a/constexpr-dynamic17.C 31 additions, 0 deletionsgcc/testsuite/g++.dg/cpp2a/constexpr-dynamic17.C
- gcc/testsuite/g++.dg/cpp2a/constexpr-dynamic2.C 41 additions, 0 deletionsgcc/testsuite/g++.dg/cpp2a/constexpr-dynamic2.C
- gcc/testsuite/g++.dg/cpp2a/constexpr-dynamic3.C 33 additions, 0 deletionsgcc/testsuite/g++.dg/cpp2a/constexpr-dynamic3.C
- gcc/testsuite/g++.dg/cpp2a/constexpr-dynamic4.C 55 additions, 0 deletionsgcc/testsuite/g++.dg/cpp2a/constexpr-dynamic4.C
- gcc/testsuite/g++.dg/cpp2a/constexpr-dynamic5.C 22 additions, 0 deletionsgcc/testsuite/g++.dg/cpp2a/constexpr-dynamic5.C
- gcc/testsuite/g++.dg/cpp2a/constexpr-dynamic6.C 25 additions, 0 deletionsgcc/testsuite/g++.dg/cpp2a/constexpr-dynamic6.C
- gcc/testsuite/g++.dg/cpp2a/constexpr-dynamic7.C 25 additions, 0 deletionsgcc/testsuite/g++.dg/cpp2a/constexpr-dynamic7.C
- gcc/testsuite/g++.dg/cpp2a/constexpr-dynamic8.C 24 additions, 0 deletionsgcc/testsuite/g++.dg/cpp2a/constexpr-dynamic8.C
Loading
Please register or sign in to comment