libavcodec/ra144.c:267: error: Integer Overflow L2
  ([0, 8] - [0, 8]):unsigned32.

libavcodec/ra144.c:254:10: <LHS trace>
252.     }
253. 
254.     for (c=8; c >= 0; c--) {
              ^
255.         if (u == 0x1000)
256.             u++;

libavcodec/ra144.c:254:10: Assignment
252.     }
253. 
254.     for (c=8; c >= 0; c--) {
              ^
255.         if (u == 0x1000)
256.             u++;

libavcodec/ra144.c:254:10: <RHS trace>
252.     }
253. 
254.     for (c=8; c >= 0; c--) {
              ^
255.         if (u == 0x1000)
256.             u++;

libavcodec/ra144.c:254:10: Assignment
252.     }
253. 
254.     for (c=8; c >= 0; c--) {
              ^
255.         if (u == 0x1000)
256.             u++;

libavcodec/ra144.c:267:47: Binary operation: ([0, 8] - [0, 8]):unsigned32
265. 
266.         for (u=0; u<=c; u++)
267.             bp1[u] = ((bp2[u] - ((refl[c+1] * bp2[c-u]) >> 12)) * (0x1000000 / b)) >> 12;
                                                   ^
268. 
269.         refl[c] = u = bp1[c];
