From b4aaf8808efc0e9a1e1074582a35222448327012 Mon Sep 17 00:00:00 2001
From: languagelawyer <38548419+languagelawyer@users.noreply.github.com>
Date: Sat, 4 Jul 2020 09:20:52 +0300
Subject: [PATCH] [basic.lval] Named bit-fields are objects

no need to mention them separately
---
 source/basic.tex       | 6 +++---
 source/expressions.tex | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/source/basic.tex b/source/basic.tex
index 3b24b0a72b..1921598b26 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -3069,8 +3069,8 @@
 \end{note}
 
 \pnum
-A \defn{memory location} is either an object of scalar type or a maximal
-sequence of adjacent bit-fields all having nonzero width.
+A \defn{memory location} is either an object of scalar type that is not a bit-field
+or a maximal sequence of adjacent bit-fields all having nonzero width.
 \begin{note}
 Various
 features of the language, such as references and virtual functions, might
@@ -3270,7 +3270,7 @@
 \item is not a potentially-overlapping subobject, or
 \item is not of class type, or
 \item is of a class type with virtual member functions or virtual base classes, or
-\item has subobjects of nonzero size or bit-fields of nonzero length.
+\item has subobjects of nonzero size or unnamed bit-fields of nonzero length.
 \end{itemize}
 Otherwise, if the object is a base class subobject
 of a standard-layout class type
diff --git a/source/expressions.tex b/source/expressions.tex
index 35ee3fd888..7c9ea887ea 100644
--- a/source/expressions.tex
+++ b/source/expressions.tex
@@ -138,12 +138,12 @@
 \end{importgraphic}
 
 \begin{itemize}
-\item A \defn{glvalue} is an expression whose evaluation determines the identity of an object, bit-field, or function.
-\item A \defn{prvalue} is an expression whose evaluation initializes an object or a bit-field,
+\item A \defn{glvalue} is an expression whose evaluation determines the identity of an object or function.
+\item A \defn{prvalue} is an expression whose evaluation initializes an object
 or computes the value of an operand of an operator,
 as specified by the context in which it appears,
 or an expression that has type \cv{}~\tcode{void}.
-\item An \defn{xvalue} is a glvalue that denotes an object or bit-field whose resources can be reused (usually because it is near the end of its lifetime).
+\item An \defn{xvalue} is a glvalue that denotes an object whose resources can be reused (usually because it is near the end of its lifetime).
 \item An \defn{lvalue} is a glvalue that is not an xvalue.
 \item An \defn{rvalue} is a prvalue or an xvalue.
 \end{itemize}