diff options
| author | Marek Polacek <mpolacek@gcc.gnu.org> | 2019-06-08 14:10:42 +0000 |
|---|---|---|
| committer | Marek Polacek <mpolacek@gcc.gnu.org> | 2019-06-08 14:10:42 +0000 |
| commit | ec332875f8e2456bd104c16a553ac5ecad9024b3 (patch) | |
| tree | 7351e16dbd7ef7be8702a19a9c1829e64560be4e | |
| parent | 304d779b9ebeb30fd8761703b5729b51db450793 (diff) | |
| download | gcc-ec332875f8e2456bd104c16a553ac5ecad9024b3.zip gcc-ec332875f8e2456bd104c16a553ac5ecad9024b3.tar.gz gcc-ec332875f8e2456bd104c16a553ac5ecad9024b3.tar.bz2 | |
re PR c++/52269 ([C++11] Body of constexpr function templates instantiated too eagerly in unevaluated operands)
PR c++/52269
* g++.dg/cpp0x/constexpr-decltype4.C: New test.
From-SVN: r272083
| -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; |