an expression whose evaluation as subexpression of a conditional-expression CE would not prevent CE from being a core constant expression