Giters

damaki / libkeccak

SHA-3 and other Keccak related algorithms in SPARK/Ada.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Compilation errors with GCC 12

damaki opened this issue · comments

commented

When building libkeccak with GCC 12.2.1 with SSE2 and/or AVX2 intrinsics enabled (via LIBKECCAK_SIMD) the compilation fails with the following errors:

keccak-arch-sse2.ads:68:16: error: intrinsic binding type mismatch on result
keccak-arch-sse2.ads:72:16: error: intrinsic binding type mismatch on result
keccak-arch-sse2.ads:72:16: error: intrinsic binding type mismatch on result
keccak-arch-sse2.ads:72:16: error: intrinsic binding type mismatch on result

The command line used is:

alr build -- -XLIBKECCAK_ARCH=x86_64 -XLIBKECCAK_SIMD=AVX2