crypto/aes/aes_core.c:1347: error: INTEGER_OVERFLOW_L2
  ([0, 2155905152] - [0, 16843009]):unsigned32.
Showing all 9 steps of the trace


crypto/aes/aes_core.c:1342:4: <LHS trace>
1340.   			u32 tp1, tp2, tp4, tp8, tp9, tpb, tpd, tpe, m;
1341.   
1342.   			tp1 = rk[j];
           ^
1343.   			m = tp1 & 0x80808080;
1344.   			tp2 = ((tp1 & 0x7f7f7f7f) << 1) ^

crypto/aes/aes_core.c:1342:4: Assignment
1340.   			u32 tp1, tp2, tp4, tp8, tp9, tpb, tpd, tpe, m;
1341.   
1342.   			tp1 = rk[j];
           ^
1343.   			m = tp1 & 0x80808080;
1344.   			tp2 = ((tp1 & 0x7f7f7f7f) << 1) ^

crypto/aes/aes_core.c:1344:4: Assignment
1342.   			tp1 = rk[j];
1343.   			m = tp1 & 0x80808080;
1344.   			tp2 = ((tp1 & 0x7f7f7f7f) << 1) ^
           ^
1345.   				((m - (m >> 7)) & 0x1b1b1b1b);
1346.   			m = tp2 & 0x80808080;

crypto/aes/aes_core.c:1346:4: Assignment
1344.   			tp2 = ((tp1 & 0x7f7f7f7f) << 1) ^
1345.   				((m - (m >> 7)) & 0x1b1b1b1b);
1346.   			m = tp2 & 0x80808080;
           ^
1347.   			tp4 = ((tp2 & 0x7f7f7f7f) << 1) ^
1348.   				((m - (m >> 7)) & 0x1b1b1b1b);

crypto/aes/aes_core.c:1342:4: <RHS trace>
1340.   			u32 tp1, tp2, tp4, tp8, tp9, tpb, tpd, tpe, m;
1341.   
1342.   			tp1 = rk[j];
           ^
1343.   			m = tp1 & 0x80808080;
1344.   			tp2 = ((tp1 & 0x7f7f7f7f) << 1) ^

crypto/aes/aes_core.c:1342:4: Assignment
1340.   			u32 tp1, tp2, tp4, tp8, tp9, tpb, tpd, tpe, m;
1341.   
1342.   			tp1 = rk[j];
           ^
1343.   			m = tp1 & 0x80808080;
1344.   			tp2 = ((tp1 & 0x7f7f7f7f) << 1) ^

crypto/aes/aes_core.c:1344:4: Assignment
1342.   			tp1 = rk[j];
1343.   			m = tp1 & 0x80808080;
1344.   			tp2 = ((tp1 & 0x7f7f7f7f) << 1) ^
           ^
1345.   				((m - (m >> 7)) & 0x1b1b1b1b);
1346.   			m = tp2 & 0x80808080;

crypto/aes/aes_core.c:1346:4: Assignment
1344.   			tp2 = ((tp1 & 0x7f7f7f7f) << 1) ^
1345.   				((m - (m >> 7)) & 0x1b1b1b1b);
1346.   			m = tp2 & 0x80808080;
           ^
1347.   			tp4 = ((tp2 & 0x7f7f7f7f) << 1) ^
1348.   				((m - (m >> 7)) & 0x1b1b1b1b);

crypto/aes/aes_core.c:1347:4: Binary operation: ([0, 2155905152] - [0, 16843009]):unsigned32
1345.   				((m - (m >> 7)) & 0x1b1b1b1b);
1346.   			m = tp2 & 0x80808080;
1347.   			tp4 = ((tp2 & 0x7f7f7f7f) << 1) ^
           ^
1348.   				((m - (m >> 7)) & 0x1b1b1b1b);
1349.   			m = tp4 & 0x80808080;
