diff options
| author | Dan Albert <danalbert@google.com> | 2016-02-04 18:51:25 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2016-02-04 18:51:25 +0000 |
| commit | edbbe53c4ffa154a5f9ae3f89ba8105993d8800e (patch) | |
| tree | 4cedb380a14027d9c4d1e531c2340c43cbd79175 /gcc-4.8.1/gcc/testsuite/g++.dg/template/defarg13.C | |
| parent | a4ca82cac69c3147143d7b4b4d7cdeb5e02f20ef (diff) | |
| parent | 3186be22b6598fbd467b126347d1c7f48ccb7f71 (diff) | |
| download | toolchain_gcc-edbbe53c4ffa154a5f9ae3f89ba8105993d8800e.tar.gz toolchain_gcc-edbbe53c4ffa154a5f9ae3f89ba8105993d8800e.tar.bz2 toolchain_gcc-edbbe53c4ffa154a5f9ae3f89ba8105993d8800e.zip | |
Merge "Check in a pristine copy of GCC 4.8.1."
Diffstat (limited to 'gcc-4.8.1/gcc/testsuite/g++.dg/template/defarg13.C')
| -rw-r--r-- | gcc-4.8.1/gcc/testsuite/g++.dg/template/defarg13.C | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gcc-4.8.1/gcc/testsuite/g++.dg/template/defarg13.C b/gcc-4.8.1/gcc/testsuite/g++.dg/template/defarg13.C new file mode 100644 index 000000000..1d515343e --- /dev/null +++ b/gcc-4.8.1/gcc/testsuite/g++.dg/template/defarg13.C @@ -0,0 +1,19 @@ +// PR c++/14912 +// Bug: We were instantiating A<B> in order to compare it to the matching +// argument for C<B,B>, which fails. + +template <class T> +struct A +{ + typedef typename T::F F; +}; + +struct B { }; + +template <class T, class U = typename A<T>::F > +struct C +{ + typename T::F f; // { dg-error "no type" } +}; + +C<B, B> c; // { dg-message "required" } |