libavcodec/lagarith.c:174: error: Integer Overflow L2
  ([0, +oo] - 1):unsigned32 by call to `softfloat_reciprocal`.

libavcodec/lagarith.c:137:5: Assignment
135.     int i, j, scale_factor;
136.     unsigned prob, cumulative_target;
137.     unsigned cumul_prob = 0;
         ^
138.     unsigned scaled_cumul_prob = 0;
139. 

libavcodec/lagarith.c:174:24: Call
172. 
173.     if (cumul_prob & (cumul_prob - 1)) {
174.         uint64_t mul = softfloat_reciprocal(cumul_prob);
                            ^
175.         for (i = 1; i < 257; i++) {
176.             rac->prob[i] = softfloat_mul(rac->prob[i], mul);

libavcodec/lagarith.c:64:1: <LHS trace>
62.  * @see softfloat_mul
63.  */
64. static uint64_t softfloat_reciprocal(uint32_t denom)
    ^
65. {
66.     int shift = av_log2(denom - 1) + 1;

libavcodec/lagarith.c:64:1: Parameter `denom`
  62.  * @see softfloat_mul
  63.  */
  64. static uint64_t softfloat_reciprocal(uint32_t denom)
      ^
  65. {
  66.     int shift = av_log2(denom - 1) + 1;

libavcodec/lagarith.c:66:17: Binary operation: ([0, +oo] - 1):unsigned32 by call to `softfloat_reciprocal` 
  64. static uint64_t softfloat_reciprocal(uint32_t denom)
  65. {
  66.     int shift = av_log2(denom - 1) + 1;
                      ^
  67.     uint64_t ret = (1ULL << 52) / denom;
  68.     uint64_t err = (1ULL << 52) - ret * denom;
