[Bug c++/56895] [4.8/4.9 Regression] ICE: unexpected expression of kind arrow_expr

[jason at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56895

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2013-04-09 18:03:47 UTC ---
(In reply to comment #3)
> Introduced by my http://gcc.gnu.org/r195051 , potential_constant_expression
> returns true about it, because fun in a call expr isn't a FUNCTION_DECL.
> Jason, can you look at whether this is something that should be changed in
> potential_constant_expression, or instead in cxx_eval_const* ?

The problem is that we're passing an expression to maybe_constant_value that
hasn't yet been through fold_non_dependent_expr.  Either we need to call that
first or disable this checking in templates.