From e58439bce8af85e6569328272c2cfb73f5fc44d6 Mon Sep 17 00:00:00 2001 From: Richard Smith Date: Sat, 24 Nov 2018 23:13:58 -0800 Subject: [PATCH] [expr.const] Add missing definition of 'usable in constant expressions' for (sub)objects and reference members. --- source/expressions.tex | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/source/expressions.tex b/source/expressions.tex index 157043b272..65aa2e7eab 100644 --- a/source/expressions.tex +++ b/source/expressions.tex @@ -6527,10 +6527,16 @@ \pnum A variable is -\defnx{usable in constant expressions}{usable in constant expression} after +\defn{usable in constant expressions} after its initializing declaration is encountered if it is a constexpr variable, or it is of reference type or of const-qualified integral or enumeration type, and its initializer is a constant initializer. +An object or reference is \defn{usable in constant expressions} +if it is a variable that is usable in constant expressions, +a template parameter object\iref{temp.param}, +a string literal object\iref{lex.string}, +or a non-mutable subobject or reference member +of an object that is usable in constant expressions. \pnum An expression \tcode{e} is a \defnadj{core constant}{expression}