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

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

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

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

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

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

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

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