ssl/record/rec_layer_s3.c:757: error: INTEGER_OVERFLOW_L1
  (0 - 5):unsigned64.
Showing all 3 steps of the trace


ssl/record/rec_layer_s3.c:756:9: <RHS trace>
754.       } else {
755.   #if defined(SSL3_ALIGN_PAYLOAD) && SSL3_ALIGN_PAYLOAD!=0
756.           align = (size_t)SSL3_BUFFER_get_buf(wb) + SSL3_RT_HEADER_LENGTH;
               ^
757.           align = (0-align) & (SSL3_ALIGN_PAYLOAD - 1);
758.   #endif

ssl/record/rec_layer_s3.c:756:9: Assignment
754.       } else {
755.   #if defined(SSL3_ALIGN_PAYLOAD) && SSL3_ALIGN_PAYLOAD!=0
756.           align = (size_t)SSL3_BUFFER_get_buf(wb) + SSL3_RT_HEADER_LENGTH;
               ^
757.           align = (0-align) & (SSL3_ALIGN_PAYLOAD - 1);
758.   #endif

ssl/record/rec_layer_s3.c:757:9: Binary operation: (0 - 5):unsigned64
755.   #if defined(SSL3_ALIGN_PAYLOAD) && SSL3_ALIGN_PAYLOAD!=0
756.           align = (size_t)SSL3_BUFFER_get_buf(wb) + SSL3_RT_HEADER_LENGTH;
757.           align = (0-align) & (SSL3_ALIGN_PAYLOAD - 1);
               ^
758.   #endif
759.           p = SSL3_BUFFER_get_buf(wb) + align;
