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


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

crypto/ec/curve448/f_generic.c:167:12: Call
165.           ret |= c->limb[LIMBPERM(i)];
166.   
167.       return word_is_zero(ret);
                  ^
168.   }
169.   

include/internal/constant_time_locl.h:183:1: <LHS trace>
181.   }
182.   
183. > static ossl_inline uint32_t constant_time_is_zero_32(uint32_t a)
184.   {
185.       return constant_time_msb_32(~a & (a - 1));

include/internal/constant_time_locl.h:183:1: Parameter `a`
  181.   }
  182.   
  183. > static ossl_inline uint32_t constant_time_is_zero_32(uint32_t a)
  184.   {
  185.       return constant_time_msb_32(~a & (a - 1));

include/internal/constant_time_locl.h:185:12: Binary operation: ([0, +oo] - 1):unsigned32 by call to `constant_time_is_zero_32` 
  183.   static ossl_inline uint32_t constant_time_is_zero_32(uint32_t a)
  184.   {
  185.       return constant_time_msb_32(~a & (a - 1));
                    ^
  186.   }
  187.   
