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.