On Mon, Jan 23, 2017 at 12:09 PM, Nathan Sidwell <nat...@acm.org> wrote: > Jason, > Bug 71710 is a crash on 'decltype (a)', where 'a' is a FIELD_DECL wth > dependent type. finish_class_member_access_expr barfs on that. The earlier > sequence of if..elses has a check for FIELD_DECL, but that's in the shadow > of a type_dependent_expression_p (object) check. The field's type is the > main template type, so it does have a type dependent object. But there's no > reason it shouldn't go through the usual finish_non_static_data_member > processing.
The issue is that we want to allow cases where the object type is the current instantiation. > Fixed by moving the FIELD_DECL check earlier. ...but this ought to handle that case fine, since the current instantiation is when we will have successfully found a FIELD_DECL. OK. Jason
