crypto/bn/bn_asm.c:682: error: INTEGER_OVERFLOW_L2
  ([0, 4294967295] + [0, 4294967295]):unsigned32.
Showing all 13 steps of the trace


crypto/bn/bn_asm.c:666:1: <LHS trace>
664.   	}
665.   
666. > void bn_mul_comba4(BN_ULONG *r, BN_ULONG *a, BN_ULONG *b)
667.   	{
668.   #ifdef BN_LLONG

crypto/bn/bn_asm.c:666:1: Parameter `*b`
664.   	}
665.   
666. > void bn_mul_comba4(BN_ULONG *r, BN_ULONG *a, BN_ULONG *b)
667.   	{
668.   #ifdef BN_LLONG

crypto/bn/bn_asm.c:679:2: Assignment
677.   	c2=0;
678.   	c3=0;
679.   	mul_add_c(a[0],b[0],c1,c2,c3);
        ^
680.   	r[0]=c1;
681.   	c1=0;

crypto/bn/bn_asm.c:679:2: Assignment
677.   	c2=0;
678.   	c3=0;
679.   	mul_add_c(a[0],b[0],c1,c2,c3);
        ^
680.   	r[0]=c1;
681.   	c1=0;

crypto/bn/bn_asm.c:679:2: Assignment
677.   	c2=0;
678.   	c3=0;
679.   	mul_add_c(a[0],b[0],c1,c2,c3);
        ^
680.   	r[0]=c1;
681.   	c1=0;

crypto/bn/bn_asm.c:679:2: Assignment
677.   	c2=0;
678.   	c3=0;
679.   	mul_add_c(a[0],b[0],c1,c2,c3);
        ^
680.   	r[0]=c1;
681.   	c1=0;

crypto/bn/bn_asm.c:666:1: <RHS trace>
664.   	}
665.   
666. > void bn_mul_comba4(BN_ULONG *r, BN_ULONG *a, BN_ULONG *b)
667.   	{
668.   #ifdef BN_LLONG

crypto/bn/bn_asm.c:666:1: Parameter `*b`
664.   	}
665.   
666. > void bn_mul_comba4(BN_ULONG *r, BN_ULONG *a, BN_ULONG *b)
667.   	{
668.   #ifdef BN_LLONG

crypto/bn/bn_asm.c:682:2: Assignment
680.   	r[0]=c1;
681.   	c1=0;
682.   	mul_add_c(a[0],b[1],c2,c3,c1);
        ^
683.   	mul_add_c(a[1],b[0],c2,c3,c1);
684.   	r[1]=c2;

crypto/bn/bn_asm.c:682:2: Assignment
680.   	r[0]=c1;
681.   	c1=0;
682.   	mul_add_c(a[0],b[1],c2,c3,c1);
        ^
683.   	mul_add_c(a[1],b[0],c2,c3,c1);
684.   	r[1]=c2;

crypto/bn/bn_asm.c:682:2: Assignment
680.   	r[0]=c1;
681.   	c1=0;
682.   	mul_add_c(a[0],b[1],c2,c3,c1);
        ^
683.   	mul_add_c(a[1],b[0],c2,c3,c1);
684.   	r[1]=c2;

crypto/bn/bn_asm.c:682:2: Assignment
680.   	r[0]=c1;
681.   	c1=0;
682.   	mul_add_c(a[0],b[1],c2,c3,c1);
        ^
683.   	mul_add_c(a[1],b[0],c2,c3,c1);
684.   	r[1]=c2;

crypto/bn/bn_asm.c:682:2: Binary operation: ([0, 4294967295] + [0, 4294967295]):unsigned32
680.   	r[0]=c1;
681.   	c1=0;
682.   	mul_add_c(a[0],b[1],c2,c3,c1);
        ^
683.   	mul_add_c(a[1],b[0],c2,c3,c1);
684.   	r[1]=c2;

void bn_mul_comba4(BN_ULONG *r, BN_ULONG *a, BN_ULONG *b)
	{
#ifdef BN_LLONG
	BN_ULLONG t;
#else
	BN_ULONG bl,bh;
#endif
	BN_ULONG t1,t2;
	BN_ULONG c1,c2,c3;
	c1=0;
	c2=0;
	c3=0;
	mul_add_c(a[0],b[0],c1,c2,c3);
	r[0]=c1;
	c1=0;
	mul_add_c(a[0],b[1],c2,c3,c1);
	mul_add_c(a[1],b[0],c2,c3,c1);
	r[1]=c2;
	c2=0;
	mul_add_c(a[2],b[0],c3,c1,c2);
	mul_add_c(a[1],b[1],c3,c1,c2);
	mul_add_c(a[0],b[2],c3,c1,c2);
	r[2]=c3;
	c3=0;
	mul_add_c(a[0],b[3],c1,c2,c3);
	mul_add_c(a[1],b[2],c1,c2,c3);
	mul_add_c(a[2],b[1],c1,c2,c3);
	mul_add_c(a[3],b[0],c1,c2,c3);
	r[3]=c1;
	c1=0;
	mul_add_c(a[3],b[1],c2,c3,c1);
	mul_add_c(a[2],b[2],c2,c3,c1);
	mul_add_c(a[1],b[3],c2,c3,c1);
	r[4]=c2;
	c2=0;
	mul_add_c(a[2],b[3],c3,c1,c2);
	mul_add_c(a[3],b[2],c3,c1,c2);
	r[5]=c3;
	c3=0;
	mul_add_c(a[3],b[3],c1,c2,c3);
	r[6]=c1;
	r[7]=c2;
	}
['void bn_mul_comba4(BN_ULONG *r, BN_ULONG *a, BN_ULONG *b)\n\t{\n#ifdef BN_LLONG\n\tBN_ULLONG t;\n#else\n\tBN_ULONG bl,bh;\n#endif\n\tBN_ULONG t1,t2;\n\tBN_ULONG c1,c2,c3;\n\tc1=0;\n\tc2=0;\n\tc3=0;\n\tmul_add_c(a[0],b[0],c1,c2,c3);\n\tr[0]=c1;\n\tc1=0;\n\tmul_add_c(a[0],b[1],c2,c3,c1);\n\tmul_add_c(a[1],b[0],c2,c3,c1);\n\tr[1]=c2;\n\tc2=0;\n\tmul_add_c(a[2],b[0],c3,c1,c2);\n\tmul_add_c(a[1],b[1],c3,c1,c2);\n\tmul_add_c(a[0],b[2],c3,c1,c2);\n\tr[2]=c3;\n\tc3=0;\n\tmul_add_c(a[0],b[3],c1,c2,c3);\n\tmul_add_c(a[1],b[2],c1,c2,c3);\n\tmul_add_c(a[2],b[1],c1,c2,c3);\n\tmul_add_c(a[3],b[0],c1,c2,c3);\n\tr[3]=c1;\n\tc1=0;\n\tmul_add_c(a[3],b[1],c2,c3,c1);\n\tmul_add_c(a[2],b[2],c2,c3,c1);\n\tmul_add_c(a[1],b[3],c2,c3,c1);\n\tr[4]=c2;\n\tc2=0;\n\tmul_add_c(a[2],b[3],c3,c1,c2);\n\tmul_add_c(a[3],b[2],c3,c1,c2);\n\tr[5]=c3;\n\tc3=0;\n\tmul_add_c(a[3],b[3],c1,c2,c3);\n\tr[6]=c1;\n\tr[7]=c2;\n\t}']