crypto/des/des.c:804: error: INTEGER_OVERFLOW_L2
  ([-`num` - 215, 8⋅`num`] - 8):unsigned32.
Showing all 3 steps of the trace


crypto/des/des.c:754:1: <LHS trace>
752.   
753.   /* int size:  should always be > ~ 60; I actually ignore this parameter :-)    */
754. > int uufread(unsigned char *out, int size, unsigned int num, FILE *fp)
755.   	{
756.   	int i,j,tot;

crypto/des/des.c:754:1: Parameter `num`
752.   
753.   /* int size:  should always be > ~ 60; I actually ignore this parameter :-)    */
754. > int uufread(unsigned char *out, int size, unsigned int num, FILE *fp)
755.   	{
756.   	int i,j,tot;

crypto/des/des.c:804:4: Binary operation: ([-num - 215, 8⋅num] - 8):unsigned32
802.   			{
803.   			/* num to copy to make it a multiple of 8 */
804.   			j=(num/8*8)-tot-8;
          ^
805.   			memcpy(&(out[tot]),bb,(unsigned int)j);
806.   			tot+=j;
