crypto/bn/bn_nist.c:578: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - [0, max(4294967295, `*a->d`)]):unsigned64 by call to `bn_sub_words`.
Showing all 9 steps of the trace


crypto/bn/bn_nist.c:546:2: Assignment
544.   
545.   	/*S1*/
546.   	BN_256_SET(t_d,15,14,13,12,11,0,0,0)
        ^
547.   	/*S2*/
548.   	BN_256_SET(t_d2,0,15,14,13,12,0,0,0)

crypto/bn/bn_nist.c:578:6: Call
576.   	/*D1*/
577.   	BN_256_SET(t_d,10,8,0,0,0,13,12,11)
578.   	if (bn_sub_words(r_d, r_d, t_d, BN_NIST_256_TOP))
            ^
579.   		--carry;
580.   	/*D2*/

crypto/bn/bn_asm.c:385:1: <LHS trace>
383.   #endif /* !BN_LLONG */
384.   
385. > BN_ULONG bn_sub_words(BN_ULONG *r, const BN_ULONG *a, const BN_ULONG *b, int n)
386.           {
387.   	BN_ULONG t1,t2;

crypto/bn/bn_asm.c:385:1: Parameter `*a`
  383.   #endif /* !BN_LLONG */
  384.   
  385. > BN_ULONG bn_sub_words(BN_ULONG *r, const BN_ULONG *a, const BN_ULONG *b, int n)
  386.           {
  387.   	BN_ULONG t1,t2;

crypto/bn/bn_asm.c:395:3: Assignment
  393.   	for (;;)
  394.   		{
  395.   		t1=a[0]; t2=b[0];
           ^
  396.   		r[0]=(t1-t2-c)&BN_MASK2;
  397.   		if (t1 != t2) c=(t1 < t2);

crypto/bn/bn_asm.c:385:1: <RHS trace>
383.   #endif /* !BN_LLONG */
384.   
385. > BN_ULONG bn_sub_words(BN_ULONG *r, const BN_ULONG *a, const BN_ULONG *b, int n)
386.           {
387.   	BN_ULONG t1,t2;

crypto/bn/bn_asm.c:385:1: Parameter `*b`
  383.   #endif /* !BN_LLONG */
  384.   
  385. > BN_ULONG bn_sub_words(BN_ULONG *r, const BN_ULONG *a, const BN_ULONG *b, int n)
  386.           {
  387.   	BN_ULONG t1,t2;

crypto/bn/bn_asm.c:395:12: Assignment
  393.   	for (;;)
  394.   		{
  395.   		t1=a[0]; t2=b[0];
                    ^
  396.   		r[0]=(t1-t2-c)&BN_MASK2;
  397.   		if (t1 != t2) c=(t1 < t2);

crypto/bn/bn_asm.c:396:3: Binary operation: ([0, +oo] - [0, max(4294967295, *a->d)]):unsigned64 by call to `bn_sub_words` 
  394.   		{
  395.   		t1=a[0]; t2=b[0];
  396.   		r[0]=(t1-t2-c)&BN_MASK2;
           ^
  397.   		if (t1 != t2) c=(t1 < t2);
  398.   		if (--n <= 0) break;
