crypto/ec/curve448/eddsa.c:185: error: INTEGER_OVERFLOW_L2
  (0 - [0, 1]):unsigned64 by call to `curve448_scalar_halve`.
Showing all 5 steps of the trace


crypto/ec/curve448/eddsa.c:177:9: Unknown value from: OPENSSL_cleanse
175.               goto err;
176.           curve448_scalar_decode_long(nonce_scalar, nonce, sizeof(nonce));
177.           OPENSSL_cleanse(nonce, sizeof(nonce));
               ^
178.       }
179.   

crypto/ec/curve448/eddsa.c:185:9: Call
183.           curve448_point_t p;
184.   
185.           curve448_scalar_halve(nonce_scalar_2, nonce_scalar);
               ^
186.           for (c = 2; c < C448_EDDSA_ENCODE_RATIO; c <<= 1)
187.               curve448_scalar_halve(nonce_scalar_2, nonce_scalar_2);

crypto/ec/curve448/scalar.c:221:1: <RHS trace>
219.   }
220.   
221. > void curve448_scalar_halve(curve448_scalar_t out, const curve448_scalar_t a)
222.   {
223.       c448_word_t mask = 0 - (a->limb[0] & 1);

crypto/ec/curve448/scalar.c:221:1: Parameter `a->limb[*]`
  219.   }
  220.   
  221. > void curve448_scalar_halve(curve448_scalar_t out, const curve448_scalar_t a)
  222.   {
  223.       c448_word_t mask = 0 - (a->limb[0] & 1);

crypto/ec/curve448/scalar.c:223:5: Binary operation: (0 - [0, 1]):unsigned64 by call to `curve448_scalar_halve` 
  221.   void curve448_scalar_halve(curve448_scalar_t out, const curve448_scalar_t a)
  222.   {
  223.       c448_word_t mask = 0 - (a->limb[0] & 1);
             ^
  224.       c448_dword_t chain = 0;
  225.       unsigned int i;
