Clarify value validity

src/glossary.rst

@@ -5324,6 +5324,15 @@ recognize :t:`[escaped character]s`.
 :dp:`fls_26ol7lrnux94`
 See :s:`RawStringLiteral`.
 
+.. _fls_sAe1HaaVSPvP:
+
+reachable control flow path
+^^^^^^^^^^^^^^^^^^^^^^^^^^^
+
+:dp:`fls_IxrvzuBg8j3E`
+A :dt:`reachable control flow path` is a control flow path that can be
+taken by the execution of a program between two given points in the program.
+
 .. _fls_nfb3ciarl50w:
 
 receiver operand
@@ -7446,15 +7455,6 @@ usize
 :dc:`usize` is an :t:`unsigned integer type` with the same number of bits as
 the platform's :t:`pointer type`, and is at least 16-bits wide.
 
-.. _fls_fu203hv8juox:
-
-valid
-^^^^^
-
-:dp:`fls_jrosf84umqj0`
-A :t:`variable` is :dt:`valid` when it has been :t:`initialized` by all
-reachable control flow paths.
-
 .. _fls_A5K8aOBsI3BG:
 
 validity invariant

src/values.rst

@@ -31,10 +31,6 @@ Two :t:`[value]s` :t:`overlap` when
 * :dp:`fls_eoak5mdl6ma`
   Both :t:`[value]s` are elements of the same :t:`array`.
 
-:dp:`fls_prxicw2q70lj`
-An :t:`value` is :t:`valid` when it has been :t:`initialized` by all reachable
-control flow paths.
-
 .. rubric:: Undefined Behavior
 
 :dp:`fls_6lg0oaaopc26`
@@ -231,7 +227,7 @@ The following :t:`[construct]s` are :t:`[variable]s`:
 
 :dp:`fls_r9km9f969bu8`
 A :t:`variable` shall be used only after it has been initialized through all
-reachable control flow paths.
+:t:`[reachable control flow path]s` up to the point of its usage.
 
 .. rubric:: Dynamic Semantics