Add ubuntu tests for GCC 14 and Clang 18 (#1079)

Author: jarzec

.github/workflows/build-cppfront.yaml

@@ -22,7 +22,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        runs-on: [ubuntu-latest]
+        runs-on: [ubuntu-22.04]
         compiler: [g++-10, g++-11, g++-12, clang++-12, clang++-14]
         cxx-std: ['c++20', 'c++2b']
         exclude:
@@ -38,6 +38,18 @@ jobs:
           - runs-on: macos-latest
             compiler: clang++
             cxx-std: 'c++20'
+          - runs-on: ubuntu-24.04
+            compiler: clang++-16
+            cxx-std: 'c++20'
+          - runs-on: ubuntu-24.04
+            compiler: clang++-17
+            cxx-std: 'c++20'
+          - runs-on: ubuntu-24.04
+            compiler: clang++-18
+            cxx-std: 'c++20'
+          - runs-on: ubuntu-24.04
+            compiler: g++-14
+            cxx-std: 'c++2b'
     runs-on: ${{ matrix.runs-on }}
     env:
       CXX: ${{ matrix.compiler }}

.github/workflows/regression-tests.yml

@@ -19,13 +19,15 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ubuntu-22.04]
-        compiler: [g++-10, clang++-15]
+        os: [ubuntu-24.04]
+        compiler: [g++-13, g++-14, clang++-18]
         include:
-          - os: ubuntu-24.04
-            compiler: g++-13
+          - os: ubuntu-22.04
+            compiler: clang++-15
           - os: ubuntu-20.04
             compiler: clang++-12
+          - os: ubuntu-20.04
+            compiler: g++-10
           - os: macos-14
             compiler: clang++
           - os: macos-13

regression-tests/run-tests.sh

@@ -148,7 +148,11 @@ else
         exec_out_dir="$expected_results_dir/clang-12"
     elif [[ "$compiler_version" == *"clang version 15.0"* ]]; then 
         exec_out_dir="$expected_results_dir/clang-15"
-        # c++2b causes starge issues on GitHub ubuntu-latest runner
+        # c++2b causes starge issues on GitHub ubuntu runners
+        cpp_std="c++20"
+    elif [[ "$compiler_version" == *"clang version 18.1"* ]]; then 
+        exec_out_dir="$expected_results_dir/clang-18"
+        # c++2b causes starge issues on GitHub ubuntu runners
         cpp_std="c++20"
     elif [[ "$compiler_version" == *"g++-10"* ]]; then
         exec_out_dir="$expected_results_dir/gcc-10"
@@ -158,6 +162,8 @@ else
             "$compiler_version" == *"g++-13"*
          ]]; then
         exec_out_dir="$expected_results_dir/gcc-13"
+    elif [[ "$compiler_version" == *"g++-14"* ]]; then
+        exec_out_dir="$expected_results_dir/gcc-14"
     else
         printf "Unhandled compiler version:\n$compiler_version\n\n"
         exit 2

regression-tests/test-results/clang-18/clang-version.output

@@ -0,0 +1,4 @@
+Ubuntu clang version 18.1.3 (1)
+Target: x86_64-pc-linux-gnu
+Thread model: posix
+InstalledDir: /usr/bin

regression-tests/test-results/clang-18/mixed-allcpp1-hello.cpp.execution

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

regression-tests/test-results/clang-18/mixed-allcpp1-hello.cpp.output

@@ -0,0 +1,60 @@
+v as X< 0> = 0
+v as X< 1> = 1
+v as X< 2> = 2
+v as X< 3> = 3
+v as X< 4> = 4
+v as X< 5> = 5
+v as X< 6> = 6
+v as X< 7> = 7
+v as X< 8> = 8
+v as X< 9> = 9
+v as X<10> = 10
+v as X<11> = 11
+v as X<12> = 12
+v as X<13> = 13
+v as X<14> = 14
+v as X<15> = 15
+v as X<16> = 16
+v as X<17> = 17
+v as X<18> = 18
+v as X<19> = 19
+as_const(v) as X< 0> = 0
+as_const(v) as X< 1> = 1
+as_const(v) as X< 2> = 2
+as_const(v) as X< 3> = 3
+as_const(v) as X< 4> = 4
+as_const(v) as X< 5> = 5
+as_const(v) as X< 6> = 6
+as_const(v) as X< 7> = 7
+as_const(v) as X< 8> = 8
+as_const(v) as X< 9> = 9
+as_const(v) as X<10> = 10
+as_const(v) as X<11> = 11
+as_const(v) as X<12> = 12
+as_const(v) as X<13> = 13
+as_const(v) as X<14> = 14
+as_const(v) as X<15> = 15
+as_const(v) as X<16> = 16
+as_const(v) as X<17> = 17
+as_const(v) as X<18> = 18
+as_const(v) as X<19> = 19
+move(v) as X< 0> = 0
+move(v) as X< 1> = 1
+move(v) as X< 2> = 2
+move(v) as X< 3> = 3
+move(v) as X< 4> = 4
+move(v) as X< 5> = 5
+move(v) as X< 6> = 6
+move(v) as X< 7> = 7
+move(v) as X< 8> = 8
+move(v) as X< 9> = 9
+move(v) as X<10> = 10
+move(v) as X<11> = 11
+move(v) as X<12> = 12
+move(v) as X<13> = 13
+move(v) as X<14> = 14
+move(v) as X<15> = 15
+move(v) as X<16> = 16
+move(v) as X<17> = 17
+move(v) as X<18> = 18
+move(v) as X<19> = 19

regression-tests/test-results/clang-18/mixed-as-for-variant-20-types.cpp.execution

@@ -0,0 +1 @@
+Bounds safety violation: out of bounds access attempt detected - attempted access at index 5, [min,max] range is [0,4]

regression-tests/test-results/clang-18/mixed-as-for-variant-20-types.cpp.output

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

regression-tests/test-results/clang-18/mixed-bounds-check.cpp.execution

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

regression-tests/test-results/clang-18/mixed-bounds-check.cpp.output

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

regression-tests/test-results/clang-18/mixed-bounds-safety-with-assert-2.cpp.execution

@@ -0,0 +1,4 @@
+true
+false
+"test.exe"
+true

regression-tests/test-results/clang-18/mixed-bounds-safety-with-assert-2.cpp.output

@@ -0,0 +1,72 @@
+123
+123
+123
+123
+123
+123
+123456
+123
+123
+123
+123
+123
+123
+123456
+123456
+123456
+456
+456
+1e+10
+1e+10
+1e-10
+1e-10
+1e-10
+1e-10
+1e-10
+1e-10
+1e-10
+123456
+123456
+456
+456
+1e+10
+1e+10
+1e-10
+1e-10
+1e-10
+1e-10
+1e-10
+1e-10
+1e-10
+123
+123
+123
+123
+123
+123
+123456
+123
+123
+123
+123
+123
+123
+123456
+123456
+456
+1e+10
+1e+10
+1e-10
+1e-10
+1e-10
+1e-10
+1e-10
+123456
+456
+1e+10
+1e+10
+1e-10
+1e-10
+1e-10
+1e-10
+1e-10

regression-tests/test-results/clang-18/mixed-bounds-safety-with-assert.cpp.execution

@@ -0,0 +1,12 @@
++X 1
++X 2
+copy X 1
+copy X 2
+copy X 1
+move X 2
++X 3
++X 4
+copy X 3
+copy X 4
+move X 3
+move X 4

regression-tests/test-results/clang-18/mixed-bounds-safety-with-assert.cpp.output

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

regression-tests/test-results/clang-18/mixed-bugfix-for-cpp2-comment-cpp1-sequence.cpp.execution

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

regression-tests/test-results/clang-18/mixed-bugfix-for-cpp2-comment-cpp1-sequence.cpp.output

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

regression-tests/test-results/clang-18/mixed-bugfix-for-literal-as-nttp.cpp.execution

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

regression-tests/test-results/clang-18/mixed-bugfix-for-literal-as-nttp.cpp.output

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

regression-tests/test-results/clang-18/mixed-bugfix-for-ufcs-non-local.cpp copy.execution

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

regression-tests/test-results/clang-18/mixed-bugfix-for-ufcs-non-local.cpp copy.output

@@ -0,0 +1,2 @@
+12234
+12234

regression-tests/test-results/clang-18/mixed-captures-in-expressions-and-postconditions.cpp.execution

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

regression-tests/test-results/clang-18/mixed-captures-in-expressions-and-postconditions.cpp.output

@@ -0,0 +1 @@
+>> [xyzzy]

regression-tests/test-results/clang-18/mixed-fixed-type-aliases.cpp.execution

@@ -0,0 +1,8 @@
+inspected vec : std::vector
+inspected arr : std::array
+inspected var : std::variant
+inspected myt : my_type
+inspected vec : std::vector
+inspected arr : std::array
+inspected var : std::variant
+inspected myt : my_type

regression-tests/test-results/clang-18/mixed-fixed-type-aliases.cpp.output

@@ -0,0 +1,5 @@
+i is between 11 and 20
+less than 20
+i is between 10 and 30
+v is empty
+v is empty

regression-tests/test-results/clang-18/mixed-float-literals.cpp.execution

@@ -0,0 +1,12 @@
+rev dodgson
+(no match)
+the answer
+zero
+plugh
+zero
+1 or 2
+1 or 2
+3
+integer -42
+xyzzy
+(no match)

regression-tests/test-results/clang-18/mixed-float-literals.cpp.output

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

regression-tests/test-results/clang-18/mixed-forwarding.cpp.execution

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

regression-tests/test-results/clang-18/mixed-forwarding.cpp.output

@@ -0,0 +1 @@
+sending error to my framework... [dynamic null dereference attempt detected]

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

@@ -0,0 +1 @@
+>> 42

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

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

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

@@ -0,0 +1,21 @@
+enter main
+enter f00
+enter f01
++X 1
+exit f01
+-X 1
+exit f00
+
+enter f10
+enter f11
+enter f12
+enter f13
+enter f14
++X 2
+exit f14
+exit f13
+exit f12
+-X 2
+exit f11
+exit f10
+exit main

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

@@ -0,0 +1,2 @@
+42
+exxxx

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

@@ -0,0 +1,2 @@
+xyzzy and plugh
+xyzzyplugh

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

@@ -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/clang-18/mixed-function-expression-with-pointer-capture.cpp.execution

@@ -0,0 +1,3 @@
+11
+12
+13*14 is 182

regression-tests/test-results/clang-18/mixed-function-expression-with-pointer-capture.cpp.output

@@ -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/clang-18/mixed-function-expression-with-repeated-capture.cpp.execution

@@ -0,0 +1,2 @@
+rain
+rain