On 05/01/2012 08:14 PM, Paolo Carlini wrote:
I think we need to handle FIELD_DECL, too.
Are there hopes that handling FIELD_DECL like FUNCTION_DECL and VAR_DECL
(besides the DECL_LANG_SPECIFIC check) would work?
I would think so.
A data point I can give you, I put a gcc_assert (TREE_CODE (t) != FIELD_DECL)
in the default case of the walk_template_parms_r switch, and it never triggers
for the whole testsuite.
With your patch, what happens if you have a member access like
template <class T>
struct A
{
T t;
auto f(A a) -> decltype (sizeof (a.t)) { }
};
I would expect that to hit the FIELD_DECL case.
Jason
