diff options
Diffstat (limited to 'external')
-rw-r--r-- | external/lpsolve/lpsolve-ubsan.patch.0 | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/external/lpsolve/lpsolve-ubsan.patch.0 b/external/lpsolve/lpsolve-ubsan.patch.0 index 29e9ad3b3c1a..7a5e308c6efd 100644 --- a/external/lpsolve/lpsolve-ubsan.patch.0 +++ b/external/lpsolve/lpsolve-ubsan.patch.0 @@ -1,3 +1,14 @@ +--- lp_presolve.c ++++ lp_presolve.c +@@ -168,7 +168,7 @@ + if(isprimal) { + if(psdata->primalundo != NULL) + mat = psdata->primalundo->tracker; +- solution = lp->full_solution + lp->presolve_undo->orig_rows; ++ solution = lp->full_solution == NULL ? NULL : lp->full_solution + lp->presolve_undo->orig_rows; + slacks = lp->full_solution; + } + else { --- lp_pricePSE.c +++ lp_pricePSE.c @@ -145,7 +147,7 @@ |