libavcodec/s3tc.c:69: error: Integer Overflow L2
  ([0, 4278190080] + [0, 4294967295]):unsigned32.

libavcodec/s3tc.c:28:1: <LHS trace>
26. #include "s3tc.h"
27. 
28. static inline void dxt1_decode_pixels(GetByteContext *gb, uint32_t *d,
    ^
29.                                       unsigned int qstride, unsigned int flag,
30.                                       uint64_t alpha) {

libavcodec/s3tc.c:28:1: Parameter `alpha`
26. #include "s3tc.h"
27. 
28. static inline void dxt1_decode_pixels(GetByteContext *gb, uint32_t *d,
    ^
29.                                       unsigned int qstride, unsigned int flag,
30.                                       uint64_t alpha) {

libavcodec/s3tc.c:67:13: Assignment
65.     for (y=0; y<4; y++) {
66.         for (x=0; x<4; x++) {
67.             a        = (alpha & 0x0f) << 28;
                ^
68.             a       += a >> 4;
69.             d[x]     = a + colors[pixels&3];

libavcodec/s3tc.c:68:13: Assignment
66.         for (x=0; x<4; x++) {
67.             a        = (alpha & 0x0f) << 28;
68.             a       += a >> 4;
                ^
69.             d[x]     = a + colors[pixels&3];
70.             pixels >>= 2;

libavcodec/s3tc.c:59:9: <RHS trace>
57.         rb2 = ((rb0+rb1) >> 1) & 0xff00ff;
58.         g2  = ((g0 +g1 ) >> 1) & 0x00ff00;
59.         colors[3] = 0;
            ^
60.     }
61. 

libavcodec/s3tc.c:59:9: Assignment
57.         rb2 = ((rb0+rb1) >> 1) & 0xff00ff;
58.         g2  = ((g0 +g1 ) >> 1) & 0x00ff00;
59.         colors[3] = 0;
            ^
60.     }
61. 

libavcodec/s3tc.c:69:13: Binary operation: ([0, 4278190080] + [0, 4294967295]):unsigned32
67.             a        = (alpha & 0x0f) << 28;
68.             a       += a >> 4;
69.             d[x]     = a + colors[pixels&3];
                ^
70.             pixels >>= 2;
71.             alpha  >>= 4;
