Re: [Bug-glpk] [Fwd: segfault reading a compressed mps file in 4.52]

[Raniere Silva]

I was trying to debug it but the only change between 4.48 and 4.52 related to
the reading of the file that I found was 

    diff --git a/src/glpmps.c b/src/glpmps.c
    index 390822a..2ee5559 100644
    --- a/src/glpmps.c
    +++ b/src/glpmps.c
    @@ -842,6 +842,12 @@ blnk: {  /* new BOUNDS vector */
           else if (strcmp(type, "LI") == 0)
           {  glp_set_col_kind(csa->P, j, GLP_IV);
              lb = ceil(bnd);
    +#if 1 /* 16/VII-2013 */
    +         /* if column upper bound has not been explicitly specified,
    +            take it as +inf */
    +         if (!(flag[j] & 0x10))
    +            ub = +DBL_MAX;
    +#endif
           }
           else if (strcmp(type, "UI") == 0)
           {  glp_set_col_kind(csa->P, j, GLP_IV)

I just didn't understanding this change.

Raniere