From d403a7d6e89140d5e2a7b6fbde9a338a11e25005 Mon Sep 17 00:00:00 2001
From: lprv <100177227+lprv@users.noreply.github.com>
Date: Sun, 14 Dec 2025 23:06:53 +0000
Subject: [PATCH] [basic.start.static] Improve readability of example

---
 source/basic.tex | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/source/basic.tex b/source/basic.tex
index a813f68d9c..4286d68963 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -7349,16 +7349,18 @@
 object \tcode{obj2} potentially requiring dynamic initialization and defined
 later in the same translation unit, it is unspecified whether the value of \tcode{obj2} used
 will be the value of the fully initialized \tcode{obj2} (because \tcode{obj2} was statically
-initialized) or will be the value of \tcode{obj2} merely zero-initialized. For example,
+initialized) or will be the value of \tcode{obj2} merely zero-initialized. For example:
 \begin{codeblock}
 inline double fd() { return 1.0; }
 extern double d1;
-double d2 = d1;     // unspecified:
-                    // either statically initialized to \tcode{0.0} or
-                    // dynamically initialized to \tcode{0.0} if \tcode{d1} is
-                    // dynamically initialized, or \tcode{1.0} otherwise
-double d1 = fd();   // either initialized statically or dynamically to \tcode{1.0}
+double d2 = d1;
+double d1 = fd();
 \end{codeblock}
+Both \tcode{d1} and \tcode {d2} can be initialized
+either statically or dynamically.
+If \tcode{d1} is initialized statically and \tcode{d2} dynamically,
+both variables are initialized to \tcode{1.0};
+in all other cases, \tcode{d2} is initialized to \tcode{0.0}.
 \end{note}
 
 \rSec3[basic.start.dynamic]{Dynamic initialization of non-block variables}