From d3ba6c4025d97ab73bab60d31b2671c733aaea79 Mon Sep 17 00:00:00 2001
From: Lukas Wirth <lukastw97@gmail.com>
Date: Mon, 7 Aug 2023 10:47:01 +0200
Subject: [PATCH] Clarify value validity

---
 src/glossary.rst | 18 +++++++++---------
 src/values.rst   |  6 +-----
 2 files changed, 10 insertions(+), 14 deletions(-)

diff --git a/src/glossary.rst b/src/glossary.rst
index e884b751..154843d9 100644
--- a/src/glossary.rst
+++ b/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
diff --git a/src/values.rst b/src/values.rst
index 4c55f401..754713ab 100644
--- a/src/values.rst
+++ b/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