Ignore Wdeclaration-after-statement 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 · 0856e90 · 0856e90
1 parent d717e27
commit 0856e90
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/libcrux_mlkem768_sha3.h b/src/libcrux_mlkem768_sha3.h
@@ -216,6 +216,7 @@ static inline uint8_t core_num__u8_6__wrapping_sub(uint8_t x, uint8_t y) {
 #pragma GCC diagnostic push
 #pragma GCC diagnostic ignored "-Wunused-parameter"
 #pragma GCC diagnostic ignored "-Wdiscarded-qualifiers"
+#pragma GCC diagnostic ignored "-Wdeclaration-after-statement"
 
 /* from libcrux/libcrux-ml-kem/cg/libcrux_core.h */
 /*