crypto/ec/curve448/f_generic.c:166: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `word_is_zero`.
Showing all 5 steps of the trace


crypto/ec/curve448/f_generic.c:156:5: Assignment
154.   {
155.       gf c;
156.       mask_t ret = 0;
           ^
157.       unsigned int i;
158.   

crypto/ec/curve448/f_generic.c:166:12: Call
164.       }
165.   
166.       return word_is_zero(ret);
                  ^
167.   }
168.   

crypto/ec/curve448/arch_32/arch_intrinsics.h:18:1: <LHS trace>
16.   # define ARCH_WORD_BITS 32
17.   
18. > static ossl_inline uint32_t word_is_zero(uint32_t a)
19.   {
20.       /* let's hope the compiler isn't clever enough to optimize this. */

crypto/ec/curve448/arch_32/arch_intrinsics.h:18:1: Parameter `a`
  16.   # define ARCH_WORD_BITS 32
  17.   
  18. > static ossl_inline uint32_t word_is_zero(uint32_t a)
  19.   {
  20.       /* let's hope the compiler isn't clever enough to optimize this. */

crypto/ec/curve448/arch_32/arch_intrinsics.h:21:5: Binary operation: ([0, +oo] - 1):unsigned64 by call to `word_is_zero` 
  19.   {
  20.       /* let's hope the compiler isn't clever enough to optimize this. */
  21.       return (((uint64_t)a) - 1) >> 32;
            ^
  22.   }
  23.   
