Merge pull request #1141 from pq-code-package/gcc15

nix/CI: Add gcc15 tests

Author: hanno-becker

.github/workflows/ci.yml

@@ -228,6 +228,14 @@ jobs:
            c23: True
            opt: all
            examples: true
+         - name: gcc-15
+           shell: ci_gcc15
+           # TODO: Add this once gcc15 is supported in nix on aarch64-Darwin
+           darwin: False
+           c17: True
+           c23: True
+           opt: all
+           examples: true
          - name: clang-18
            shell: ci_clang18
            darwin: True
@@ -382,7 +390,7 @@ jobs:
         with:
           gh_token: ${{ secrets.GITHUB_TOKEN }}
           compile_mode: native
-          nix-shell: ci_valgrind-varlat_gcc14
+          nix-shell: ci_valgrind-varlat_gcc15
           nix-cache: false
           opt: all
           cflags: "${{ matrix.cflags }}"
@@ -535,6 +543,8 @@ jobs:
         compiler:
          - name: gcc-14
            shell: ci_gcc14
+         - name: gcc-15
+           shell: ci_gcc15
          - name: clang-19
            shell: ci_clang19
     # On AArch64 -fcf-protection is not supported anyway

.github/workflows/ct-tests.yml

@@ -33,6 +33,7 @@ jobs:
           - ci_valgrind-varlat_gcc12
           - ci_valgrind-varlat_gcc13
           - ci_valgrind-varlat_gcc14
+          - ci_valgrind-varlat_gcc15
     runs-on: ${{ matrix.system }}
     steps:
       - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2

flake.lock

@@ -140,6 +140,7 @@
           devShells.ci_gcc12 = util.mkShellWithCC' pkgs.gcc12;
           devShells.ci_gcc13 = util.mkShellWithCC' pkgs.gcc13;
           devShells.ci_gcc14 = util.mkShellWithCC' pkgs.gcc14;
+          devShells.ci_gcc15 = util.mkShellWithCC' pkgs.gcc15;
 
           # valgrind with a patch for detecting variable-latency instructions
           devShells.ci_valgrind-varlat_clang14 = util.mkShellWithCC_valgrind' pkgs.clang_14;
@@ -156,6 +157,7 @@
           devShells.ci_valgrind-varlat_gcc12 = util.mkShellWithCC_valgrind' pkgs.gcc12;
           devShells.ci_valgrind-varlat_gcc13 = util.mkShellWithCC_valgrind' pkgs.gcc13;
           devShells.ci_valgrind-varlat_gcc14 = util.mkShellWithCC_valgrind' pkgs.gcc14;
+          devShells.ci_valgrind-varlat_gcc15 = util.mkShellWithCC_valgrind' pkgs.gcc15;
         };
       flake = {
         devShell.x86_64-linux =