22 Diagnostics library [diagnostics]

An expression assert(E) is a constant subexpression, if

• (1.1)

  NDEBUG is defined at the point where assert is last defined or redefined, or

• (1.2)

  E contextually converted to bool is a constant subexpression that evaluates to the value true.