Changeset 73ca8f3 in git for kernel/GBEngine/kutil.cc

Timestamp:

Jul 19, 2018, 12:10:11 PM (5 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'e7cc1ebecb61be8b9ca6c18016352af89940b21a')

Children:

2956e79f7ae4282b9ffde4eafb8b3203df65b398

Parents:

a6b3f67bed5a6748a71fee8be9c02cce3e486064

Message:

fix: possible out-of-bound in kCheckSpolyCreation

File:

• kernel/GBEngine/kutil.cc (modified) (1 diff)

kernel/GBEngine/kutil.cc

@@ -10591 +10591 @@
     return TRUE;
   }
-  poly p1_max = (strat->R[L->i_r1])->max_exp;
-  poly p2_max = (strat->R[L->i_r2])->max_exp;
+  poly p1_max=NULL;
+  if (L->i_r1>=0) p1_max = (strat->R[L->i_r1])->max_exp;
+  poly p2_max=NULL;
+  if (L->i_r2>=0) p2_max = (strat->R[L->i_r2])->max_exp;
 
   if (((p1_max != NULL) && !p_LmExpVectorAddIsOk(m1, p1_max, strat->tailRing)) ||