Add multivarinit test cases

7 tests covering global vars, local vars, typed constants,
inline vars (explicit type and type inference), single-evaluation
of function calls, and a compile-fail test without the modeswitch.

Author: fibodevy

tests/test/tmultivarinit1.pp

@@ -0,0 +1,24 @@
+{ test multi-var init: global static vars }
+{$mode objfpc}
+{$modeswitch multivarinit}
+
+var
+  a, b, c: integer = 42;
+  x, y: boolean = true;
+  s1, s2: string = 'hello';
+
+begin
+  if (a <> 42) or (b <> 42) or (c <> 42) then
+    halt(1);
+  if not x or not y then
+    halt(2);
+  if (s1 <> 'hello') or (s2 <> 'hello') then
+    halt(3);
+  { values are independent copies }
+  a := 0;
+  if (b <> 42) or (c <> 42) then
+    halt(4);
+  s1 := 'changed';
+  if s2 <> 'hello' then
+    halt(5);
+end.

tests/test/tmultivarinit2.pp

@@ -0,0 +1,18 @@
+{ test multi-var init: local vars }
+{$mode objfpc}
+{$modeswitch multivarinit}
+
+procedure test;
+var
+  a, b, c: integer = 10;
+begin
+  if (a <> 10) or (b <> 10) or (c <> 10) then
+    halt(1);
+  a := 0;
+  if (b <> 10) or (c <> 10) then
+    halt(2);
+end;
+
+begin
+  test;
+end.

tests/test/tmultivarinit3.pp

@@ -0,0 +1,19 @@
+{ test multi-var init: typed constants }
+{$mode objfpc}
+{$modeswitch multivarinit}
+
+type
+  TRec = record x, y: integer; end;
+
+const
+  a, b, c: integer = 99;
+  r1, r2: TRec = (x: 1; y: 2);
+
+begin
+  if (a <> 99) or (b <> 99) or (c <> 99) then
+    halt(1);
+  if (r1.x <> 1) or (r1.y <> 2) then
+    halt(2);
+  if (r2.x <> 1) or (r2.y <> 2) then
+    halt(3);
+end.

tests/test/tmultivarinit4.pp

@@ -0,0 +1,18 @@
+{ test multi-var init: inline var with explicit type }
+{$mode objfpc}
+{$modeswitch multivarinit}
+{$modeswitch inlinevars}
+
+procedure test;
+begin
+  var a, b: integer := 55;
+  if (a <> 55) or (b <> 55) then
+    halt(1);
+  a := 0;
+  if b <> 55 then
+    halt(2);
+end;
+
+begin
+  test;
+end.

tests/test/tmultivarinit5.pp

@@ -0,0 +1,22 @@
+{ test multi-var init: inline var with type inference }
+{$mode objfpc}
+{$modeswitch multivarinit}
+{$modeswitch inlinevars}
+
+procedure test;
+begin
+  var a, b := 42;
+  if (a <> 42) or (b <> 42) then
+    halt(1);
+  var s1, s2 := 'hello';
+  if (s1 <> 'hello') or (s2 <> 'hello') then
+    halt(2);
+  { verify type promotion: result should be LongInt, not byte }
+  var x, y := 10;
+  if SizeOf(x) <> SizeOf(LongInt) then
+    halt(3);
+end;
+
+begin
+  test;
+end.

tests/test/tmultivarinit6.pp

@@ -0,0 +1,26 @@
+{ test multi-var init: function call evaluated once }
+{$mode objfpc}
+{$modeswitch multivarinit}
+{$modeswitch inlinevars}
+
+var
+  callcount: integer = 0;
+
+function GetValue: integer;
+begin
+  inc(callcount);
+  result := 77;
+end;
+
+procedure test;
+begin
+  var a, b: integer := GetValue;
+  if (a <> 77) or (b <> 77) then
+    halt(1);
+  if callcount <> 1 then
+    halt(2);
+end;
+
+begin
+  test;
+end.

tests/test/tmultivarinit7.pp

@@ -0,0 +1,10 @@
+{%FAIL}
+{ test multi-var init: must fail without modeswitch }
+{$mode objfpc}
+
+var
+  a, b: integer = 42;
+
+begin
+  halt(1);
+end.