http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50545
Jason Merrill <jason at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|SUSPENDED |RESOLVED
Resolution| |FIXED
Target Milestone|--- |4.8.0
--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2012-08-31
15:07:40 UTC ---
It was pointed out to me that 14.4 says, "If an expression e involves a
template parameter, decltype(e) denotes a unique dependent type."
"involves a template parameter" is different from "is type-dependent", so G++
was clearly wrong.
Fixed by implementing instantiation-dependent in the way I think we should
resolve 1172.