Template:cpp/expr-eq

Expression-equivalent
Expression is expression-equivalent to expression, if
 * and have the same effects, and
 * either both are constant subexpressions or else neither is a constant subexpression, and
 * either both are potentially-throwing or else neither is potentially-throwing (i.e. ).