15 Library introduction [library]

15.3 Definitions [definitions]

15.3.6 constant subexpression [defns.const.subexpr]

expression whose evaluation as subexpression of a conditional-expression CE ([expr.cond]) would not prevent CE from being a core constant expression