Added regression test .cpp compilation + execution results capture for MSVC 2022

And added some more counts to `run-tests.bat`

Author: hsutter

regression-tests/pure2-look-up-parameter-across-unnamed-function.cpp2

@@ -11,3 +11,7 @@ g: () -> (ri : int) = {
     ri = 42;
     return;
 }
+
+main: ()->int = {
+    std::cout << f().ri + g().ri << "\n";
+}

regression-tests/run-tests.bat

@@ -2,6 +2,7 @@ REM This is intended to be run in the /test-results directory
 REM A copy is in the parent directory just for convenience in case of accidental deletion.
 REM
 @echo off
+del *.cpp *.output
 copy ..\*.cpp2 .
 set count=0
 for %%f in (mixed-*.cpp2) do (
@@ -16,4 +17,17 @@ for %%f in (pure2-*.cpp2) do (
     del %%f
     set /a count+=1
 )
-echo Done: %count% tests
+set cpp_count=0
+for %%A in (*.cpp) do set /a cpp_count+=1
+set err_count=0
+for %%A in (..\*error.cpp2) do set /a err_count+=1
+set /a "total_count=%cpp_count%+%err_count%"
+echo.
+echo Done: %count% .cpp2 tests compiled
+echo.
+echo.      %cpp_count% .cpp files generated
+echo.       %err_count% error test cases (should not generate .cpp)
+echo.      %total_count% total
+if %total_count% NEQ %count% (
+    echo.      *** MISMATCH: should equal total tests run
+)

regression-tests/test-results/msvc-2022/MSVC-version.output

@@ -0,0 +1,3 @@
+Microsoft (R) C/C++ Optimizing Compiler Version 19.34.31933 for x86
+Copyright (C) Microsoft Corporation.  All rights reserved.
+

regression-tests/test-results/msvc-2022/mixed-allcpp1-hello.cpp.execution

@@ -0,0 +1 @@
+Hello world

regression-tests/test-results/msvc-2022/mixed-allcpp1-hello.cpp.output

@@ -0,0 +1 @@
+mixed-allcpp1-hello.cpp

regression-tests/test-results/msvc-2022/mixed-bounds-check.cpp.execution

@@ -0,0 +1 @@
+4456566

regression-tests/test-results/msvc-2022/mixed-bounds-check.cpp.output

@@ -0,0 +1 @@
+mixed-bounds-check.cpp

regression-tests/test-results/msvc-2022/mixed-bounds-safety-with-assert-2.cpp.execution

@@ -0,0 +1,5 @@
+1
+44
+45
+46
+5

regression-tests/test-results/msvc-2022/mixed-bounds-safety-with-assert-2.cpp.output

@@ -0,0 +1 @@
+mixed-bounds-safety-with-assert-2.cpp

regression-tests/test-results/msvc-2022/mixed-bounds-safety-with-assert.cpp.execution

@@ -0,0 +1 @@
+Bounds safety violation

regression-tests/test-results/msvc-2022/mixed-bounds-safety-with-assert.cpp.output

@@ -0,0 +1 @@
+mixed-bounds-safety-with-assert.cpp

regression-tests/test-results/msvc-2022/mixed-captures-in-expressions-and-postconditions.cpp.execution

@@ -0,0 +1,4 @@
+hello
+2022
+hello-ish
+2022-ish

regression-tests/test-results/msvc-2022/mixed-captures-in-expressions-and-postconditions.cpp.output

@@ -0,0 +1 @@
+mixed-captures-in-expressions-and-postconditions.cpp

regression-tests/test-results/msvc-2022/mixed-function-expression-and-std-for-each.cpp.execution

@@ -0,0 +1,2 @@
+hello-ish maybe
+2022-ish maybe

regression-tests/test-results/msvc-2022/mixed-function-expression-and-std-for-each.cpp.output

@@ -0,0 +1 @@
+mixed-function-expression-and-std-for-each.cpp

regression-tests/test-results/msvc-2022/mixed-function-expression-and-std-ranges-for-each-with-capture.cpp.execution

@@ -0,0 +1,4 @@
+hello
+2022
+hello-ish
+2022-ish

regression-tests/test-results/msvc-2022/mixed-function-expression-and-std-ranges-for-each-with-capture.cpp.output

@@ -0,0 +1 @@
+mixed-function-expression-and-std-ranges-for-each-with-capture.cpp

regression-tests/test-results/msvc-2022/mixed-function-expression-and-std-ranges-for-each.cpp.execution

@@ -0,0 +1,4 @@
+hello
+2022
+hello-ish
+2022-ish

regression-tests/test-results/msvc-2022/mixed-function-expression-and-std-ranges-for-each.cpp.output

@@ -0,0 +1 @@
+mixed-function-expression-and-std-ranges-for-each.cpp

regression-tests/test-results/msvc-2022/mixed-function-expression-with-pointer-capture.cpp.execution

@@ -0,0 +1,6 @@
+
+hello
+
+2023
+hello-ish
+2023-ish

regression-tests/test-results/msvc-2022/mixed-function-expression-with-pointer-capture.cpp.output

@@ -0,0 +1 @@
+mixed-function-expression-with-pointer-capture.cpp

regression-tests/test-results/msvc-2022/mixed-function-expression-with-repeated-capture.cpp.execution

@@ -0,0 +1,6 @@
+
+hello
+
+2022
+hello-ish
+2022-ish

regression-tests/test-results/msvc-2022/mixed-function-expression-with-repeated-capture.cpp.output

@@ -0,0 +1 @@
+mixed-function-expression-with-repeated-capture.cpp

regression-tests/test-results/msvc-2022/mixed-hello.cpp.execution

@@ -0,0 +1 @@
+Hello [world]

regression-tests/test-results/msvc-2022/mixed-hello.cpp.output

@@ -0,0 +1 @@
+mixed-hello.cpp

regression-tests/test-results/msvc-2022/mixed-initialization-safety-3.cpp.execution

@@ -0,0 +1 @@
+Contract violation: fill: value must contain at least count elements

regression-tests/test-results/msvc-2022/mixed-initialization-safety-3.cpp.output

@@ -0,0 +1 @@
+mixed-initialization-safety-3.cpp

regression-tests/test-results/msvc-2022/mixed-inspect-with-typeof-of-template-arg-list.cpp.execution

@@ -0,0 +1 @@
+mixed-inspect-with-typeof-of-template-arg-list.cpp

regression-tests/test-results/msvc-2022/mixed-inspect-with-typeof-of-template-arg-list.cpp.output

@@ -0,0 +1,7 @@
+>> hello
+>> big
+>> world
+  **  **  **
+>> [hello]
+>> [big]
+>> [world]

regression-tests/test-results/msvc-2022/mixed-intro-example-three-loops.cpp.execution

@@ -0,0 +1 @@
+mixed-intro-example-three-loops.cpp

regression-tests/test-results/msvc-2022/mixed-intro-example-three-loops.cpp.output

@@ -0,0 +1,5 @@
+1 42
+2 84
+3 168
+4 336
+5 672

regression-tests/test-results/msvc-2022/mixed-intro-for-with-counter-include-last.cpp.execution

@@ -0,0 +1 @@
+mixed-intro-for-with-counter-include-last.cpp

regression-tests/test-results/msvc-2022/mixed-intro-for-with-counter-include-last.cpp.output

@@ -0,0 +1 @@
+mixed-lifetime-safety-and-null-contracts.cpp

regression-tests/test-results/msvc-2022/mixed-lifetime-safety-and-null-contracts.cpp.execution

@@ -0,0 +1 @@
+>> 43

regression-tests/test-results/msvc-2022/mixed-lifetime-safety-and-null-contracts.cpp.output

@@ -0,0 +1 @@
+mixed-lifetime-safety-pointer-init-4.cpp

regression-tests/test-results/msvc-2022/mixed-lifetime-safety-pointer-init-4.cpp.execution

@@ -0,0 +1,2 @@
+a is 10
+b is xyzzy

regression-tests/test-results/msvc-2022/mixed-lifetime-safety-pointer-init-4.cpp.output

@@ -0,0 +1 @@
+mixed-multiple-return-values.cpp

regression-tests/test-results/msvc-2022/mixed-multiple-return-values.cpp.execution

@@ -0,0 +1 @@
+mixed-parameter-passing-with-forward.cpp

regression-tests/test-results/msvc-2022/mixed-multiple-return-values.cpp.output

@@ -0,0 +1 @@
+mixed-parameter-passing.cpp

regression-tests/test-results/msvc-2022/mixed-parameter-passing-with-forward.cpp.execution

@@ -0,0 +1 @@
+mixed-postexpression-with-capture.cpp

regression-tests/test-results/msvc-2022/mixed-parameter-passing-with-forward.cpp.output

@@ -0,0 +1 @@
+mixed-postfix-expression-custom-formatting.cpp

regression-tests/test-results/msvc-2022/mixed-parameter-passing.cpp.execution

@@ -0,0 +1,17 @@
+a = 2, b = (empty)
+a^2 + b = 46
+sv = my string_view
+osv = (empty)
+osv = string literal bound to optional string_view
+var = (empty)
+var = abracadabra
+var = 2.718280
+mypair = (12, 3.400000)
+tup1 = (12)
+tup2 = (12, 3.400000)
+tup3 = (12, 3.400000, 456)
+p = (first, (empty))
+t = (3.140000, (empty), (empty))
+vv = 0
+vv = (1, 2.300000)
+custom = (customize me - no cpp2::to_string overload exists for this type)

regression-tests/test-results/msvc-2022/mixed-parameter-passing.cpp.output

@@ -0,0 +1 @@
+mixed-string-interpolation.cpp

regression-tests/test-results/msvc-2022/mixed-postexpression-with-capture.cpp.execution

@@ -0,0 +1 @@
+12

regression-tests/test-results/msvc-2022/mixed-postexpression-with-capture.cpp.output

@@ -0,0 +1 @@
+mixed-test-parens.cpp

regression-tests/test-results/msvc-2022/mixed-postfix-expression-custom-formatting.cpp.execution

@@ -0,0 +1,6 @@
+1.1 is int? false
+1   is int? true
+
+s* is Shape?  true
+s* is Circle? true
+s* is Square? false

regression-tests/test-results/msvc-2022/mixed-postfix-expression-custom-formatting.cpp.output

@@ -0,0 +1 @@
+mixed-type-safety-1.cpp

regression-tests/test-results/msvc-2022/mixed-string-interpolation.cpp.execution

@@ -0,0 +1,3 @@
+>> decorated
+>> hello
+>> world

regression-tests/test-results/msvc-2022/mixed-string-interpolation.cpp.output

@@ -0,0 +1 @@
+pure2-bounds-safety-span.cpp

regression-tests/test-results/msvc-2022/mixed-test-parens.cpp.execution

@@ -0,0 +1 @@
+pure2-bugfix-for-name-lookup-and-value-decoration.cpp

regression-tests/test-results/msvc-2022/mixed-test-parens.cpp.output

@@ -0,0 +1 @@
+Hello [world]

regression-tests/test-results/msvc-2022/mixed-type-safety-1.cpp.execution

@@ -0,0 +1 @@
+pure2-hello.cpp

regression-tests/test-results/msvc-2022/mixed-type-safety-1.cpp.output

@@ -0,0 +1,8 @@
+                        double value is not an int or string
+class std::variant<int,double> value is not an int or string
+                class std::any value is "xyzzy"
+      class std::optional<int> value is not an int or string
+                           int value is integer 42
+class std::variant<int,double> value is integer 1
+                class std::any value is integer 2
+      class std::optional<int> value is integer 3

regression-tests/test-results/msvc-2022/pure2-bounds-safety-span.cpp.execution

@@ -0,0 +1,2 @@
+pure2-inspect-expression-in-generic-function-multiple-types.cpp
+   Creating library test.lib and object test.exp

regression-tests/test-results/msvc-2022/pure2-bounds-safety-span.cpp.output

@@ -0,0 +1,3 @@
+                char const [7] value is not an int
+                           int value is 1
+                        double value is not an int

regression-tests/test-results/msvc-2022/pure2-bugfix-for-name-lookup-and-value-decoration.cpp.execution

@@ -0,0 +1 @@
+pure2-inspect-expression-with-as-in-generic-function.cpp

regression-tests/test-results/msvc-2022/pure2-bugfix-for-name-lookup-and-value-decoration.cpp.output

@@ -0,0 +1,11 @@
+
+All these cases satisfy "matches std::string"
+
+class std::variant<int,class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > >
+    ... matches std::string
+
+class std::any
+    ... matches std::string
+
+class std::optional<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > >
+    ... matches std::string

regression-tests/test-results/msvc-2022/pure2-hello.cpp.execution

@@ -0,0 +1,2 @@
+pure2-inspect-fallback-with-variant-any-optional.cpp
+   Creating library test.lib and object test.exp

regression-tests/test-results/msvc-2022/pure2-hello.cpp.output

@@ -0,0 +1,17 @@
+
+All these cases satisfy "VOYDE AND EMPTIE"
+
+class std::unique_ptr<int,struct std::default_delete<int> >
+    ... VOYDE AND EMPTIE
+
+class std::_Vector_iterator<class std::_Vector_val<struct std::_Simple_types<int> > >
+    ... VOYDE AND EMPTIE
+
+class std::variant<struct std::monostate,int,class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > >
+    ... VOYDE AND EMPTIE
+
+class std::any
+    ... VOYDE AND EMPTIE
+
+class std::optional<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > >
+    ... VOYDE AND EMPTIE

regression-tests/test-results/msvc-2022/pure2-inspect-expression-in-generic-function-multiple-types.cpp.execution

@@ -0,0 +1,2 @@
+pure2-inspect-generic-void-empty-with-variant-any-optional.cpp
+   Creating library test.lib and object test.exp

regression-tests/test-results/msvc-2022/pure2-inspect-expression-in-generic-function-multiple-types.cpp.output

@@ -0,0 +1,2 @@
+>> [hello] - length 7
+>> [2022] - length 6

regression-tests/test-results/msvc-2022/pure2-inspect-expression-with-as-in-generic-function.cpp.execution

@@ -0,0 +1 @@
+pure2-intro-example-hello-2022.cpp

regression-tests/test-results/msvc-2022/pure2-inspect-expression-with-as-in-generic-function.cpp.output

@@ -0,0 +1,7 @@
+>> hello
+>> big
+>> world
+  **  **  **
+>> [hello]
+>> [big]
+>> [world]

regression-tests/test-results/msvc-2022/pure2-inspect-fallback-with-variant-any-optional.cpp.execution

@@ -0,0 +1 @@
+pure2-intro-example-three-loops.cpp

regression-tests/test-results/msvc-2022/pure2-inspect-fallback-with-variant-any-optional.cpp.output

@@ -0,0 +1 @@
+84

regression-tests/test-results/msvc-2022/pure2-inspect-generic-void-empty-with-variant-any-optional.cpp.execution

@@ -0,0 +1 @@
+pure2-look-up-parameter-across-unnamed-function.cpp

regression-tests/test-results/msvc-2022/pure2-inspect-generic-void-empty-with-variant-any-optional.cpp.output

@@ -0,0 +1 @@
+pure2-stdio-with-raii.cpp

regression-tests/test-results/msvc-2022/pure2-intro-example-hello-2022.cpp.execution

@@ -0,0 +1 @@
+pure2-stdio.cpp

regression-tests/test-results/msvc-2022/pure2-intro-example-hello-2022.cpp.output

@@ -0,0 +1,9 @@
+                         double is int? false
+ class std::variant<int,double> is int? false
+                 class std::any is int? false
+       class std::optional<int> is int? false
+
+                            int is int? true
+ class std::variant<int,double> is int? true
+                 class std::any is int? true
+       class std::optional<int> is int? true

regression-tests/test-results/msvc-2022/pure2-intro-example-three-loops.cpp.execution

@@ -0,0 +1,2 @@
+pure2-type-safety-1.cpp
+   Creating library test.lib and object test.exp

regression-tests/test-results/msvc-2022/pure2-intro-example-three-loops.cpp.output

@@ -0,0 +1,8 @@
+                        double value is not an int
+class std::variant<int,double> value is not an int
+                class std::any value is not an int
+      class std::optional<int> value is not an int
+                           int value is 42
+class std::variant<int,double> value is 1
+                class std::any value is 2
+      class std::optional<int> value is 3

regression-tests/test-results/msvc-2022/pure2-look-up-parameter-across-unnamed-function.cpp.execution

@@ -0,0 +1,2 @@
+pure2-type-safety-2-with-inspect-expression.cpp
+   Creating library test.lib and object test.exp

regression-tests/test-results/msvc-2022/pure2-look-up-parameter-across-unnamed-function.cpp.output

@@ -0,0 +1,26 @@
+REM This is intended to be run in the /test-results/msvc-2022 directory
+REM in a VS2022 Command Prompt (which sets the path and other environment)
+REM
+@echo off
+copy ..\*.cpp .
+del *.output
+set count=0
+set exe_count=0
+cl 1>NUL 2> MSVC-version.output
+for %%f in (*.cpp) do (
+    echo Starting MSVC cl.exe %%f
+    cl.exe %%f -Fe"test" -nologo -std:c++latest -MD -EHsc -I c:\github\cppfront\include -experimental:module >> %%f.output 2>&1
+    del %%f
+    set /a count+=1
+    IF EXIST "test.exe" (
+        set /a exe_count+=1
+        echo.    Starting executable
+        test.exe > %%f.execution 2>&1
+        del test.exe
+    )
+)
+del *.obj *.exp *.lib
+echo.
+echo Done: %count% .cpp tests compiled
+echo.
+echo.      %exe_count% executables generated and run

regression-tests/test-results/msvc-2022/pure2-stdio-with-raii.cpp.execution

@@ -0,0 +1 @@
+Hello Fred with UFCS!

regression-tests/test-results/msvc-2022/pure2-stdio-with-raii.cpp.output

@@ -15,6 +15,8 @@ struct g__ret {
     };
 #line 9 "pure2-look-up-parameter-across-unnamed-function.cpp2"
 [[nodiscard]] auto g() -> g__ret;
+#line 15 "pure2-look-up-parameter-across-unnamed-function.cpp2"
+[[nodiscard]] auto main() -> int;
 
 //=== Cpp2 definitions ==========================================================
 
@@ -36,3 +38,7 @@ struct g__ret {
     ri.value() = 42;
     return  { std::move(ri.value()) }; 
 }
+
+[[nodiscard]] auto main() -> int{
+    std::cout << f().ri + g().ri << "\n";
+}

regression-tests/test-results/msvc-2022/pure2-stdio.cpp.execution

@@ -2,6 +2,7 @@ REM This is intended to be run in the /test-results directory
 REM A copy is in the parent directory just for convenience in case of accidental deletion.
 REM
 @echo off
+del *.cpp *.output
 copy ..\*.cpp2 .
 set count=0
 for %%f in (mixed-*.cpp2) do (
@@ -16,4 +17,17 @@ for %%f in (pure2-*.cpp2) do (
     del %%f
     set /a count+=1
 )
-echo Done: %count% tests
+set cpp_count=0
+for %%A in (*.cpp) do set /a cpp_count+=1
+set err_count=0
+for %%A in (..\*error.cpp2) do set /a err_count+=1
+set /a "total_count=%cpp_count%+%err_count%"
+echo.
+echo Done: %count% .cpp2 tests compiled
+echo.
+echo.      %cpp_count% .cpp files generated
+echo.       %err_count% error test cases (should not generate .cpp)
+echo.      %total_count% total
+if %total_count% NEQ %count% (
+    echo.      *** MISMATCH: should equal total tests run
+)