external/lpsolve/lpsolve-ubsan.patch.0

   1 --- lp_presolve.c
   2 +++ lp_presolve.c
   3 @@ -168,7 +168,7 @@
   4    if(isprimal) {
   5      if(psdata->primalundo != NULL)
   6        mat = psdata->primalundo->tracker;
   7 -    solution = lp->full_solution + lp->presolve_undo->orig_rows;
   8 +    solution = lp->full_solution == NULL ? NULL : lp->full_solution + lp->presolve_undo->orig_rows;
   9      slacks   = lp->full_solution;
  10    }
  11    else {
  12 --- lp_pricePSE.c
  13 +++ lp_pricePSE.c
  14 @@ -145,7 +147,7 @@
  15
  16    /* Store the active/current pricing type */
  17    if(isdual == AUTOMATIC)
  18 -    isdual = (MYBOOL) lp->edgeVector[0];
  19 +    isdual = lp->edgeVector[0] != 0.0;
  20    else
  21      lp->edgeVector[0] = isdual;
  22