This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/49107] [C++0x][4.7 Regression] incomplete type regression with std::pair
- From: "marc.glisse at normalesup dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Sat, 4 Jun 2011 09:32:25 +0000
- Subject: [Bug c++/49107] [C++0x][4.7 Regression] incomplete type regression with std::pair
- Auto-submitted: auto-generated
- References: <bug-49107-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49107
--- Comment #13 from Marc Glisse <marc.glisse at normalesup dot org> 2011-06-04 09:31:40 UTC ---
(In reply to comment #8)
> Here, instantiating
> std::pair<VectorH3<Kernel>> involves evaluating
> noexcept(ploum<VectorH3<Kernel>>::value),
Hello,
I am far from a specialist. Is it necessary to evaluate the noexcept expression
so early? It feels like it could lazily wait until something really looks at
the swap function, but the standard may require that early evaluation.
(clang currently rejects this code for the same reason)
PR c++/49266 is another example of code that started failing to compile. I hope
we will manage to avoid a situation where people reimplement their own
pair/tuple to avoid the noexcept limitations...