Merge pull request #908 from pq-code-package/clang_20

CI: Add clang 20.1.1 compiler tests and constant-time tests

Author: mkannwischer

.github/workflows/ci.yml

@@ -184,6 +184,11 @@ jobs:
            darwin: True
            c17: True
            c23: True
+         - name: clang-20
+           shell: ci_clang20
+           darwin: True
+           c17: True
+           c23: True
     runs-on: ${{ matrix.target.runner }}
     steps:
       - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2

.github/workflows/ct-tests.yml

@@ -25,6 +25,7 @@ jobs:
           - ci_valgrind-varlat_clang17
           - ci_valgrind-varlat_clang18
           - ci_valgrind-varlat_clang19
+          - ci_valgrind-varlat_clang20
           - ci_valgrind-varlat_gcc48
           - ci_valgrind-varlat_gcc49
           - ci_valgrind-varlat_gcc7
@@ -60,7 +61,7 @@ jobs:
           valgrind_flags: --variable-latency-errors=yes
       - name:  Build and run test (-Ofast)
         # -Ofast got deprecated in clang19; -O3 -ffast-math should be used instead
-        if: ${{ matrix.nix-shell !=  'ci_valgrind-varlat_clang19' }}
+        if: ${{ matrix.nix-shell != 'ci_valgrind-varlat_clang19' &&  matrix.nix-shell !=  'ci_valgrind-varlat_clang20' }}
         uses: ./.github/actions/ct-test
         with:
           cflags: -Ofast -DMLK_KEYGEN_PCT

flake.lock

@@ -36,6 +36,7 @@
                 gcc48 = pkgs-2405.gcc48;
                 gcc49 = pkgs-2405.gcc49;
                 qemu = pkgs-unstable.qemu; # 9.2.2
+                clang_20 = pkgs-unstable.clang_20;
               })
             ];
           };
@@ -88,6 +89,8 @@
           devShells.ci_clang17 = util.mkShellWithCC' pkgs.clang_17;
           devShells.ci_clang18 = util.mkShellWithCC' pkgs.clang_18;
           devShells.ci_clang19 = util.mkShellWithCC' pkgs.clang_19;
+          devShells.ci_clang20 = util.mkShellWithCC' pkgs.clang_20;
+
           devShells.ci_gcc48 = util.mkShellWithCC' pkgs.gcc48;
           devShells.ci_gcc49 = util.mkShellWithCC' pkgs.gcc49;
           devShells.ci_gcc7 = util.mkShellWithCC' pkgs.gcc7;
@@ -103,6 +106,7 @@
           devShells.ci_valgrind-varlat_clang17 = util.mkShellWithCC_valgrind' pkgs.clang_17;
           devShells.ci_valgrind-varlat_clang18 = util.mkShellWithCC_valgrind' pkgs.clang_18;
           devShells.ci_valgrind-varlat_clang19 = util.mkShellWithCC_valgrind' pkgs.clang_19;
+          devShells.ci_valgrind-varlat_clang20 = util.mkShellWithCC_valgrind' pkgs.clang_20;
           devShells.ci_valgrind-varlat_gcc48 = util.mkShellWithCC_valgrind' pkgs.gcc48;
           devShells.ci_valgrind-varlat_gcc49 = util.mkShellWithCC_valgrind' pkgs.gcc49;
           devShells.ci_valgrind-varlat_gcc7 = util.mkShellWithCC_valgrind' pkgs.gcc7;