diff options
-rw-r--r-- | gcc/testsuite/ChangeLog | 7 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/constexpr-decltype4.C | 21 |
2 files changed, 27 insertions, 1 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c7846a4..a2012ae 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ +2019-06-08 Marek Polacek <polacek@redhat.com> + + PR c++/52269 + * g++.dg/cpp0x/constexpr-decltype4.C: New test. + 2019-06-08 Thomas Koenig <tkoenig@gcc.gnu.org> - Tomáš Trnka <trnka@scm.com> + Tomáš Trnka <trnka@scm.com> PR fortran/90744 * gfortran.dg/deferred_character_33.f90: New test. diff --git a/gcc/testsuite/g++.dg/cpp0x/constexpr-decltype4.C b/gcc/testsuite/g++.dg/cpp0x/constexpr-decltype4.C new file mode 100644 index 0000000..64af90b --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/constexpr-decltype4.C @@ -0,0 +1,21 @@ +// PR c++/52269 +// { dg-do compile { target c++11 } } + +template<typename T> +int f(T x) +{ + return x.get(); +} + +// O.K. The body of `f' is not required. +decltype(f(0)) a; + +template<typename T> +constexpr int g(T x) +{ + return x.get(); +} + +// Seems to instantiate the body of `g' +// and results in an error. +decltype(g(0)) b; |