crypto/srp/srp_vfy.c:156: error: INTEGER_OVERFLOW_L2
  ([0, 2147483647] + [0, 2147483647]):signed32.
Showing all 6 steps of the trace


crypto/srp/srp_vfy.c:127:5: <LHS trace>
125.   {
126.       EVP_ENCODE_CTX *ctx = EVP_ENCODE_CTX_new();
127.       int outl = 0, outl2 = 0;
           ^
128.       unsigned char pad[2] = {0, 0};
129.       size_t leadz = 0;

crypto/srp/srp_vfy.c:127:5: Assignment
125.   {
126.       EVP_ENCODE_CTX *ctx = EVP_ENCODE_CTX_new();
127.       int outl = 0, outl2 = 0;
           ^
128.       unsigned char pad[2] = {0, 0};
129.       size_t leadz = 0;

crypto/srp/srp_vfy.c:151:10: <RHS trace>
149.       }
150.   
151.       if (!EVP_EncodeUpdate(ctx, (unsigned char *)dst + outl, &outl2, src,
                ^
152.                             size)) {
153.           EVP_ENCODE_CTX_free(ctx);

crypto/srp/srp_vfy.c:151:10: Call
149.       }
150.   
151.       if (!EVP_EncodeUpdate(ctx, (unsigned char *)dst + outl, &outl2, src,
                ^
152.                             size)) {
153.           EVP_ENCODE_CTX_free(ctx);

crypto/evp/encode.c:168:5: Assignment
  166.       size_t total = 0;
  167.   
  168.       *outl = 0;
             ^
  169.       if (inl <= 0)
  170.           return 0;

crypto/srp/srp_vfy.c:156:5: Binary operation: ([0, 2147483647] + [0, 2147483647]):signed32
154.           return 0;
155.       }
156.       outl += outl2;
           ^
157.       EVP_EncodeFinal(ctx, (unsigned char *)dst + outl, &outl2);
158.       outl += outl2;
