15 Library introduction [library]

15.3 Definitions [definitions]

15.3.6[defns.const.subexpr]
constant subexpression

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