Skip to content
CI (Coq, Debian)

Bump rupicola from e6daa5e to 0e001bb #182

Sign in to view logs

Bump rupicola from e6daa5e to 0e001bb

Bump rupicola from e6daa5e to 0e001bb #182

Triggered via pull request November 7, 2023 17:47
@dependabotdependabot[bot]
opened #1705
dependabot/submodules/rupicola-0e001bb
Status Failure
Total duration 2h 57m 6s
Artifacts 6

coq-debian.yml

on: pull_request
Matrix: build
test-amd64
0s
test-amd64
Fit to window
Zoom out
Zoom in

Annotations

14 errors
bookworm
Non-empty-diff: diff --git a/fiat-bedrock2/src/curve25519_32.c b/fiat-bedrock2/src/curve25519_32.c index 095f7ec..7980f99 100644 --- a/fiat-bedrock2/src/curve25519_32.c +++ b/fiat-bedrock2/src/curve25519_32.c @@ -19,8 +19,10 @@ static __attribute__((constructor)) void _br2_preconditions(void) { static_assert(~(intptr_t)0 == -(intptr_t)1, "two's complement"); assert(((void)"two's complement", ~(intptr_t)0 == -(intptr_t)1)); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const uintptr_t){1})); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const intptr_t){1})); + uintptr_t u = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&u)); + intptr_t i = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&i)); } // We use memcpy to work around -fstrict-aliasing. diff --git a/fiat-bedrock2/src/curve25519_64.c b/fiat-bedrock2/src/curve25519_64.c index 029d75c..f0a04a3 100644 --- a/fiat-bedrock2/src/curve25519_64.c +++ b/fiat-bedrock2/src/curve25519_64.c @@ -19,8 +19,10 @@ static __attribute__((constructor)) void _br2_preconditions(void) { static_assert(~(intptr_t)0 == -(intptr_t)1, "two's complement"); assert(((void)"two's complement", ~(intptr_t)0 == -(intptr_t)1)); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const uintptr_t){1})); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const intptr_t){1})); + uintptr_t u = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&u)); + intptr_t i = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&i)); } // We use memcpy to work around -fstrict-aliasing. diff --git a/fiat-bedrock2/src/curve25519_scalar_32.c b/fiat-bedrock2/src/curve25519_scalar_32.c index c80f536..2cd3e69 100644 --- a/fiat-bedrock2/src/curve25519_scalar_32.c +++ b/fiat-bedrock2/src/curve25519_scalar_32.c @@ -24,8 +24,10 @@ static __attribute__((constructor)) void _br2_preconditions(void) { static_assert(~(intptr_t)0 == -(intptr_t)1, "two's complement"); assert(((void)"two's complement", ~(intptr_t)0 == -(intptr_t)1)); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const uintptr_t){1})); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const intptr_t){1})); + uintptr_t u = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&u)); + intptr_t i = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&i)); } // We use memcpy to work around -fstrict-aliasing. diff --git a/fiat-bedrock2/src/curve25519_scalar_64.c b/fiat-bedrock2/src/curve25519_scalar_64.c index 3ecc638..11e750c 100644 --- a/fiat-bedrock2/src/curve25519_scalar_64.c +++ b/fiat-bedrock2/src/curve25519_scalar_64.c @@ -24,8 +24,10 @@ static __attribute__((constructor)) void _br2_preconditions(void) { static_assert(~(intptr_t)0 == -(intptr_t)1, "two's complement"); assert(((void)"two's complement", ~(intptr_t)0 == -(intptr_t)1)); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const uintptr_t){1})); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const intptr_t){1})); + uintptr_t u = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&u)); + intptr_t i = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&i)); } // We use memcpy to work around -fstrict-aliasing. diff --git a/fiat-bedrock2/src/curve25519_solinas_64.c b/fiat-bedrock2/src/curve25519_solinas_64.c index aa2992a..2db9c33 100644 --- a/fiat-bedrock2/src/curve25519_solinas_64.c +++ b/fiat-bedrock2/src/curve25519_solinas_64.c @@ -14,8 +14,10 @@ static __attribute__((constructor)) void _br2_preconditions(void) { static_assert(~(intptr_t)0 == -(intptr_t)1, "two's complement"); assert(((void)"two's complement", ~(intptr_t)0 == -(intptr_t)1)); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const uintptr_t){1})); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const intptr_t){1})); + uintptr_t u = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&u)); + intptr_t i = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&i)); } // We use memcpy to work aro
bookworm
Process completed with exit code 1.
bookworm
Makefile.coq:793: src/Coqprime/Tactic/Tactic.v
bookworm
Makefile.coq.noex:793: /home/runner/work/fiat-crypto/fiat-crypto/rupicola/bedrock2/bedrock2/src/bedrock2/groundcbv.v
bookworm
Makefile.coq.noex:409: all
bookworm
Makefile:42: noex
bookworm
Makefile:102: bedrock2_noex
sid
Non-empty-diff: diff --git a/fiat-bedrock2/src/curve25519_32.c b/fiat-bedrock2/src/curve25519_32.c index 095f7ec..7980f99 100644 --- a/fiat-bedrock2/src/curve25519_32.c +++ b/fiat-bedrock2/src/curve25519_32.c @@ -19,8 +19,10 @@ static __attribute__((constructor)) void _br2_preconditions(void) { static_assert(~(intptr_t)0 == -(intptr_t)1, "two's complement"); assert(((void)"two's complement", ~(intptr_t)0 == -(intptr_t)1)); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const uintptr_t){1})); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const intptr_t){1})); + uintptr_t u = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&u)); + intptr_t i = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&i)); } // We use memcpy to work around -fstrict-aliasing. diff --git a/fiat-bedrock2/src/curve25519_64.c b/fiat-bedrock2/src/curve25519_64.c index 029d75c..f0a04a3 100644 --- a/fiat-bedrock2/src/curve25519_64.c +++ b/fiat-bedrock2/src/curve25519_64.c @@ -19,8 +19,10 @@ static __attribute__((constructor)) void _br2_preconditions(void) { static_assert(~(intptr_t)0 == -(intptr_t)1, "two's complement"); assert(((void)"two's complement", ~(intptr_t)0 == -(intptr_t)1)); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const uintptr_t){1})); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const intptr_t){1})); + uintptr_t u = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&u)); + intptr_t i = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&i)); } // We use memcpy to work around -fstrict-aliasing. diff --git a/fiat-bedrock2/src/curve25519_scalar_32.c b/fiat-bedrock2/src/curve25519_scalar_32.c index c80f536..2cd3e69 100644 --- a/fiat-bedrock2/src/curve25519_scalar_32.c +++ b/fiat-bedrock2/src/curve25519_scalar_32.c @@ -24,8 +24,10 @@ static __attribute__((constructor)) void _br2_preconditions(void) { static_assert(~(intptr_t)0 == -(intptr_t)1, "two's complement"); assert(((void)"two's complement", ~(intptr_t)0 == -(intptr_t)1)); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const uintptr_t){1})); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const intptr_t){1})); + uintptr_t u = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&u)); + intptr_t i = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&i)); } // We use memcpy to work around -fstrict-aliasing. diff --git a/fiat-bedrock2/src/curve25519_scalar_64.c b/fiat-bedrock2/src/curve25519_scalar_64.c index 3ecc638..11e750c 100644 --- a/fiat-bedrock2/src/curve25519_scalar_64.c +++ b/fiat-bedrock2/src/curve25519_scalar_64.c @@ -24,8 +24,10 @@ static __attribute__((constructor)) void _br2_preconditions(void) { static_assert(~(intptr_t)0 == -(intptr_t)1, "two's complement"); assert(((void)"two's complement", ~(intptr_t)0 == -(intptr_t)1)); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const uintptr_t){1})); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const intptr_t){1})); + uintptr_t u = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&u)); + intptr_t i = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&i)); } // We use memcpy to work around -fstrict-aliasing. diff --git a/fiat-bedrock2/src/curve25519_solinas_64.c b/fiat-bedrock2/src/curve25519_solinas_64.c index aa2992a..2db9c33 100644 --- a/fiat-bedrock2/src/curve25519_solinas_64.c +++ b/fiat-bedrock2/src/curve25519_solinas_64.c @@ -14,8 +14,10 @@ static __attribute__((constructor)) void _br2_preconditions(void) { static_assert(~(intptr_t)0 == -(intptr_t)1, "two's complement"); assert(((void)"two's complement", ~(intptr_t)0 == -(intptr_t)1)); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const uintptr_t){1})); - assert(((void)"little-endian", 1 == *(unsigned char *)&(const intptr_t){1})); + uintptr_t u = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&u)); + intptr_t i = 1; + assert(((void)"little-endian", 1 == *(unsigned char *)&i)); } // We use memcpy to work aro
sid
Process completed with exit code 1.
sid
Makefile.coq:844: src/Coqprime/Tactic/Tactic.v
sid
Makefile.coq.noex:844: /home/runner/work/fiat-crypto/fiat-crypto/rupicola/bedrock2/bedrock2/src/bedrock2/groundcbv.v
sid
Makefile.coq.noex:410: all
sid
Makefile:42: noex
sid
Makefile:102: bedrock2_noex

Artifacts

Produced during runtime
Name Size
ExtractionHaskell-bookworm Expired
491 MB
ExtractionHaskell-sid Expired
491 MB
ExtractionOCaml-bookworm Expired
2.17 GB
ExtractionOCaml-sid Expired
2.17 GB
generated-files-bookworm Expired
4.71 MB
generated-files-sid Expired
4.71 MB