On 01/13/2012 03:57 PM, Paolo Carlini wrote:
Anyway, the reason we are not tsubst-ing such trees - eg, a CAST_EXPR on a single element TREE_LIST as argument, with error_mark_node as value - is that potential_constant_expression is false in fold_non_dependent_expr_sfinae, thus tsubst_copy_and_build is not called at all.
We also shouldn't call cxx_eval_constant_expression if potential_constant_expression is false.
Jason