Ignore -Wincompatible-pointer-types-discards-qualifiers in libcrux.

Signed-off-by: Loganaden Velvindron <[email protected]> Signed-off-by: Jaykishan Mutkawoa <[email protected]> Signed-off-by: Kavish nadan <[email protected]>
mkj · Jan 18, 2025 · d9db976 · d9db976
1 parent 0856e90
commit d9db976
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/libcrux_mlkem768_sha3.h b/src/libcrux_mlkem768_sha3.h
@@ -217,7 +217,7 @@ static inline uint8_t core_num__u8_6__wrapping_sub(uint8_t x, uint8_t y) {
 #pragma GCC diagnostic ignored "-Wunused-parameter"
 #pragma GCC diagnostic ignored "-Wdiscarded-qualifiers"
 #pragma GCC diagnostic ignored "-Wdeclaration-after-statement"
-
+#pragma GCC diagnostic ignored "-Wincompatible-pointer-types-discards-qualifiers"
 /* from libcrux/libcrux-ml-kem/cg/libcrux_core.h */
 /*
  * SPDX-FileCopyrightText: 2024 Cryspen Sarl <[email protected]>