https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
Bug ID: 63362
Summary: The c++11 triviality-traits need front-end help
Product: gcc
Version: 5.0
Status: UNCONFIRMED
Keywords: rejects-valid
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: ville.voutilainen at gmail dot com
CC: jason at redhat dot com
Jason wrote in a private email:
"I think what we need is a compiler hook to say whether a particular expression
is trivial or not."
and further
"I'm thinking that parsing would be similar to parsing any other unevaluated
context (sizeof/alignof/decltype), and then we would walk_tree through the
resulting expression to find any calls and see if any of them are to
non-trivial functions."
See
https://gcc.gnu.org/onlinedocs/libstdc++/manual/status.html
Table 1.2. C++ 2011 Implementation Status
20.9.4.3 Type properties
