This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[Bug c++/49107] [C++0x][4.7 Regression] incomplete type regression with std::pair


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...


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]