feat(errors): make verrors=context global and update test outputs

changelog/dmd.verror_context.dd

@@ -0,0 +1,33 @@
+Make `verror=context` Usage Global and Update Related Test Files
+
+The `verror=context` error handling mechanism has been made global, ensuring that error messages now consistently include context information across the entire codebase. Previously, error handling was localized, leading to some errors lacking context in the output.
+
+Example:
+```
+void main()
+{
+    int[int] a = [];
+    int[int] b = [2:3, 4];
+    a = [];
+}
+```
+
+**Before Global `verror=context`:**
+```
+fail_compilation/aa_init.d(13,18): Error: invalid associative array initializer `[]`, use `null` instead
+fail_compilation/aa_init.d(14,24): Error: missing key for value `4` in initializer
+fail_compilation/aa_init.d(15,9): Error: cannot implicitly convert expression `[]` of type `void[]` to `int[int]`
+```
+
+**After Global `verror=context`:**
+```
+fail_compilation/aa_init.d(19,18): Error: invalid associative array initializer `[]`, use `null` instead
+    int[int] a = [];
+                 ^
+fail_compilation/aa_init.d(20,24): Error: missing key for value `4` in initializer
+    int[int] b = [2:3, 4];
+                       ^
+fail_compilation/aa_init.d(21,9): Error: cannot implicitly convert expression `[]` of type `void[]` to `int[int]`
+    a = [];
+        ^
+```

compiler/src/dmd/globals.d

@@ -393,6 +393,8 @@ extern (C++) struct Global
             params.v.color = detectTerminal();
         }
 
+        params.v.printErrorContext = true; // Enable error context globally by default
+
         compileEnv.versionNumber = parseVersionNumber(versionString());
 
         /* Initialize date, time, and timestamp

compiler/src/dmd/mars.d

@@ -1008,6 +1008,10 @@ bool parseCommandLine(const ref Strings arguments, const size_t argc, ref Param
             {
                 params.v.printErrorContext = true;
             }
+            else if (startsWith(p + 9, "none"))
+            {
+                params.v.printErrorContext = false; // Disable error context
+            }
             else if (!params.v.errorLimit.parseDigits(p.toDString()[9 .. $]))
             {
                 errorInvalidSwitch(p, "Only number, `spec`, or `context` are allowed for `-verrors`");

compiler/src/dmd/root/string.d

@@ -365,13 +365,23 @@
         public this(const char[] text)
         {
             this.text = text;
+            this.index = 0;
+            this.eolIndex = 0;
+            this.nextIndex = 0;
         }
 
-        public bool empty() { return index == text.length; }
+        public bool empty() { advance(); return index >= text.length; }
 
         public void popFront() { advance(); index = nextIndex; }
 
-        public const(char)[] front() { advance(); return text[index .. eolIndex]; }
+        public const(char)[] front()
+        {
+            advance();
+            if (index > eolIndex || index >= text.length) {
+                return "";
+            }
+            return text[index .. eolIndex];
+        }
 
         private void advance()
         {
@@ -418,7 +428,7 @@
                         if (i + 2 < text.length &&
                             text[i + 1] == 0x80 &&
                             (text[i + 2] == 0xA8 || text[i + 2] == 0xA9)
-                           )
+                        )
                         {
                             eolIndex = i;
                             nextIndex = i + 3;
@@ -430,6 +440,10 @@
                         break;
                 }
             }
+
+            // No newline found; set indices to the end of the text
+            eolIndex = text.length;
+            nextIndex = text.length;
         }
     }
 

compiler/test/compilable/b16976.d

@@ -1,26 +1,66 @@
 /* REQUIRED_ARGS: -m64
 TEST_OUTPUT:
 ---
-compilable/b16976.d(33): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
-compilable/b16976.d(34): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
-compilable/b16976.d(35): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
-compilable/b16976.d(36): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
-compilable/b16976.d(41): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
-compilable/b16976.d(42): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
-compilable/b16976.d(43): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
-compilable/b16976.d(44): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
-compilable/b16976.d(50): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
-compilable/b16976.d(51): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
-compilable/b16976.d(52): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
-compilable/b16976.d(53): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
-compilable/b16976.d(58): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
-compilable/b16976.d(59): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
-compilable/b16976.d(60): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
-compilable/b16976.d(61): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
-compilable/b16976.d(62): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
-compilable/b16976.d(63): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
-compilable/b16976.d(64): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
-compilable/b16976.d(65): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
+compilable/b16976.d(73): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
+    foreach(int i, v; dyn) { }
+    ^
+compilable/b16976.d(74): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
+    foreach_reverse(int i, v; dyn) { }
+    ^
+compilable/b16976.d(75): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
+    foreach(char i, v; dyn) { }
+    ^
+compilable/b16976.d(76): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
+    foreach_reverse(char i, v; dyn) { }
+    ^
+compilable/b16976.d(81): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
+    foreach(int i, v; str) { }
+    ^
+compilable/b16976.d(82): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
+    foreach_reverse(int i, v; str) { }
+    ^
+compilable/b16976.d(83): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
+    foreach(char i, v; str) { }
+    ^
+compilable/b16976.d(84): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
+    foreach_reverse(char i, v; str) { }
+    ^
+compilable/b16976.d(90): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
+    foreach(int i, dchar v; dyn) { }
+    ^
+compilable/b16976.d(91): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
+    foreach_reverse(int i, dchar v; dyn) { }
+    ^
+compilable/b16976.d(92): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
+    foreach(char i, dchar v; dyn) { }
+    ^
+compilable/b16976.d(93): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
+    foreach_reverse(char i, dchar v; dyn) { }
+    ^
+compilable/b16976.d(98): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
+    foreach(int i, dchar v; str) { }
+    ^
+compilable/b16976.d(99): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
+    foreach_reverse(int i, dchar v; str) { }
+    ^
+compilable/b16976.d(100): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
+    foreach(char i, dchar v; str) { }
+    ^
+compilable/b16976.d(101): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
+    foreach_reverse(char i, dchar v; str) { }
+    ^
+compilable/b16976.d(102): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
+    foreach(int i, dchar v; chr) { }
+    ^
+compilable/b16976.d(103): Deprecation: foreach: loop index implicitly converted from `size_t` to `int`
+    foreach_reverse(int i, dchar v; chr) { }
+    ^
+compilable/b16976.d(104): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
+    foreach(char i, dchar v; chr) { }
+    ^
+compilable/b16976.d(105): Deprecation: foreach: loop index implicitly converted from `size_t` to `char`
+    foreach_reverse(char i, dchar v; chr) { }
+    ^
 ---
 */
 void main()

compiler/test/compilable/chkformat.d

@@ -3,7 +3,9 @@
 /*
 TEST_OUTPUT:
 ----
-compilable/chkformat.d(14): Deprecation: more format specifiers than 0 arguments
+compilable/chkformat.d(16): Deprecation: more format specifiers than 0 arguments
+    printf("%d \n");
+           ^
 ----
 */
 import core.stdc.stdio;

compiler/test/compilable/compile1.d

@@ -3,7 +3,9 @@
 // EXTRA_FILES: imports/a12506.d
 /* TEST_OUTPUT:
 ---
-compilable/compile1.d(230): Deprecation: use of complex type `cdouble` is deprecated, use `std.complex.Complex!(double)` instead
+compilable/compile1.d(232): Deprecation: use of complex type `cdouble` is deprecated, use `std.complex.Complex!(double)` instead
+cdouble c6096;
+        ^
 ---
 */
 

compiler/test/compilable/ddoc10236.d

@@ -4,12 +4,22 @@
 /*
 TEST_OUTPUT:
 ---
-compilable/ddoc10236.d(35): Warning: Ddoc: parameter count mismatch, expected 2, got 1
-compilable/ddoc10236.d(47): Warning: Ddoc: function declaration has no parameter 'y'
-compilable/ddoc10236.d(59): Warning: Ddoc: function declaration has no parameter 'y'
-compilable/ddoc10236.d(59): Warning: Ddoc: parameter count mismatch, expected 1, got 2
-compilable/ddoc10236.d(71): Warning: Ddoc: parameter count mismatch, expected 2, got 0
-compilable/ddoc10236.d(71):        Note that the format is `param = description`
+compilable/ddoc10236.d(45): Warning: Ddoc: parameter count mismatch, expected 2, got 1
+void foo_count_mismatch(int x, int y)	// Warning: Ddoc: parameter count mismatch
+     ^
+compilable/ddoc10236.d(57): Warning: Ddoc: function declaration has no parameter 'y'
+void foo_no_param_y(int x, int z)		// Warning: Ddoc: function declaration has no parameter 'y'
+     ^
+compilable/ddoc10236.d(69): Warning: Ddoc: function declaration has no parameter 'y'
+void foo_count_mismatch_no_param_y(int x)
+     ^
+compilable/ddoc10236.d(69): Warning: Ddoc: parameter count mismatch, expected 1, got 2
+void foo_count_mismatch_no_param_y(int x)
+     ^
+compilable/ddoc10236.d(81): Warning: Ddoc: parameter count mismatch, expected 2, got 0
+void foo_count_mismatch_wrong_format(int x, int y)
+     ^
+compilable/ddoc10236.d(81):        Note that the format is `param = description`
 ---
 */
 

compiler/test/compilable/ddoc10236b.d

@@ -4,11 +4,19 @@
 /*
 TEST_OUTPUT:
 ---
-compilable/ddoc10236b.d(44): Warning: Ddoc: parameter count mismatch, expected 1, got 0
-compilable/ddoc10236b.d(44):        Note that the format is `param = description`
-compilable/ddoc10236b.d(56): Warning: Ddoc: function declaration has no parameter 'y'
-compilable/ddoc10236b.d(68): Warning: Ddoc: function declaration has no parameter 'y'
-compilable/ddoc10236b.d(68): Warning: Ddoc: parameter count mismatch, expected 0, got 1
+compilable/ddoc10236b.d(52): Warning: Ddoc: parameter count mismatch, expected 1, got 0
+void foo_count_mismatch(int x)(int y)	// Warning: Ddoc: parameter count mismatch
+     ^
+compilable/ddoc10236b.d(52):        Note that the format is `param = description`
+compilable/ddoc10236b.d(64): Warning: Ddoc: function declaration has no parameter 'y'
+void foo_no_param_y(int x)(int z)		// Warning: Ddoc: function declaration has no parameter 'y'
+     ^
+compilable/ddoc10236b.d(76): Warning: Ddoc: function declaration has no parameter 'y'
+void foo_count_mismatch_no_param_y(int x)()
+     ^
+compilable/ddoc10236b.d(76): Warning: Ddoc: parameter count mismatch, expected 0, got 1
+void foo_count_mismatch_no_param_y(int x)()
+     ^
 ---
 */
 

compiler/test/compilable/ddoc13502.d

@@ -3,10 +3,18 @@
 /*
 TEST_OUTPUT:
 ---
-compilable/ddoc13502.d(14): Warning: Ddoc: Stray '('. This may cause incorrect Ddoc output. Use $(LPAREN) instead for unpaired left parentheses.
-compilable/ddoc13502.d(17): Warning: Ddoc: Stray '('. This may cause incorrect Ddoc output. Use $(LPAREN) instead for unpaired left parentheses.
-compilable/ddoc13502.d(21): Warning: Ddoc: Stray '('. This may cause incorrect Ddoc output. Use $(LPAREN) instead for unpaired left parentheses.
-compilable/ddoc13502.d(24): Warning: Ddoc: Stray '('. This may cause incorrect Ddoc output. Use $(LPAREN) instead for unpaired left parentheses.
+compilable/ddoc13502.d(22): Warning: Ddoc: Stray '('. This may cause incorrect Ddoc output. Use $(LPAREN) instead for unpaired left parentheses.
+enum isSomeString(T) = true;
+     ^
+compilable/ddoc13502.d(25): Warning: Ddoc: Stray '('. This may cause incorrect Ddoc output. Use $(LPAREN) instead for unpaired left parentheses.
+enum bool isArray(T) = true;
+          ^
+compilable/ddoc13502.d(29): Warning: Ddoc: Stray '('. This may cause incorrect Ddoc output. Use $(LPAREN) instead for unpaired left parentheses.
+extern(C) alias int T1;
+          ^
+compilable/ddoc13502.d(32): Warning: Ddoc: Stray '('. This may cause incorrect Ddoc output. Use $(LPAREN) instead for unpaired left parentheses.
+extern(C) alias T2 = int;
+          ^
 ---
 */
 

compiler/test/compilable/ddoc4899.d

@@ -1,18 +1,21 @@
 // PERMUTE_ARGS:
 // REQUIRED_ARGS: -D -Dd${RESULTS_DIR}/compilable -wi -o-
 
-/*
+/+
 TEST_OUTPUT:
 ---
-compilable/ddoc4899.d(18): Warning: Ddoc: Stray '('. This may cause incorrect Ddoc output. Use $(LPAREN) instead for unpaired left parentheses.
-compilable/ddoc4899.d(19): Warning: Ddoc: Stray ')'. This may cause incorrect Ddoc output. Use $(RPAREN) instead for unpaired right parentheses.
+compilable/ddoc4899.d(21): Warning: Ddoc: Stray '('. This may cause incorrect Ddoc output. Use $(LPAREN) instead for unpaired left parentheses.
+/** ( */ int a;
+             ^
+compilable/ddoc4899.d(22): Warning: Ddoc: Stray ')'. This may cause incorrect Ddoc output. Use $(RPAREN) instead for unpaired right parentheses.
+/** ) */ int b;
+             ^
 ---
-*/
-
-/++
-       (See accompanying file LICENSE_1_0.txt or copy at
-        foo:)
 +/
+
+//       (See accompanying file LICENSE_1_0.txt or copy at
+//        foo:)
+
 module d;
 
 /** ( */ int a;

compiler/test/compilable/depmsg.d

@@ -2,19 +2,45 @@
 REQUIRED_ARGS: -dw
 TEST_OUTPUT:
 ---
-compilable/depmsg.d(39): Deprecation: struct `depmsg.main.Inner.A` is deprecated - With message!
-compilable/depmsg.d(39): Deprecation: struct `depmsg.main.Inner.A` is deprecated - With message!
-compilable/depmsg.d(40): Deprecation: class `depmsg.main.Inner.B` is deprecated - With message!
-compilable/depmsg.d(40): Deprecation: class `depmsg.main.Inner.B` is deprecated - With message!
-compilable/depmsg.d(41): Deprecation: interface `depmsg.main.Inner.C` is deprecated - With message!
-compilable/depmsg.d(41): Deprecation: interface `depmsg.main.Inner.C` is deprecated - With message!
-compilable/depmsg.d(42): Deprecation: union `depmsg.main.Inner.D` is deprecated - With message!
-compilable/depmsg.d(42): Deprecation: union `depmsg.main.Inner.D` is deprecated - With message!
-compilable/depmsg.d(43): Deprecation: enum `depmsg.main.Inner.E` is deprecated - With message!
-compilable/depmsg.d(43): Deprecation: enum `depmsg.main.Inner.E` is deprecated - With message!
-compilable/depmsg.d(45): Deprecation: alias `depmsg.main.Inner.G` is deprecated - With message!
-compilable/depmsg.d(46): Deprecation: variable `depmsg.main.Inner.H` is deprecated - With message!
-compilable/depmsg.d(47): Deprecation: class `depmsg.main.Inner.I()` is deprecated - With message!
+compilable/depmsg.d(65): Deprecation: struct `depmsg.main.Inner.A` is deprecated - With message!
+        A a;
+          ^
+compilable/depmsg.d(65): Deprecation: struct `depmsg.main.Inner.A` is deprecated - With message!
+        A a;
+          ^
+compilable/depmsg.d(66): Deprecation: class `depmsg.main.Inner.B` is deprecated - With message!
+        B b;
+          ^
+compilable/depmsg.d(66): Deprecation: class `depmsg.main.Inner.B` is deprecated - With message!
+        B b;
+          ^
+compilable/depmsg.d(67): Deprecation: interface `depmsg.main.Inner.C` is deprecated - With message!
+        C c;
+          ^
+compilable/depmsg.d(67): Deprecation: interface `depmsg.main.Inner.C` is deprecated - With message!
+        C c;
+          ^
+compilable/depmsg.d(68): Deprecation: union `depmsg.main.Inner.D` is deprecated - With message!
+        D d;
+          ^
+compilable/depmsg.d(68): Deprecation: union `depmsg.main.Inner.D` is deprecated - With message!
+        D d;
+          ^
+compilable/depmsg.d(69): Deprecation: enum `depmsg.main.Inner.E` is deprecated - With message!
+        E e;
+          ^
+compilable/depmsg.d(69): Deprecation: enum `depmsg.main.Inner.E` is deprecated - With message!
+        E e;
+          ^
+compilable/depmsg.d(71): Deprecation: alias `depmsg.main.Inner.G` is deprecated - With message!
+        G g;
+          ^
+compilable/depmsg.d(72): Deprecation: variable `depmsg.main.Inner.H` is deprecated - With message!
+        auto h = H;
+                 ^
+compilable/depmsg.d(73): Deprecation: class `depmsg.main.Inner.I()` is deprecated - With message!
+        I!() i;
+        ^
 ---
 */
 void main()