[Octave-bug-tracker] [bug #58505] Handing NAs to glpk() can causes several classes of crashes

[Jean-Baptiste Mazon]

URL:
  <https://savannah.gnu.org/bugs/?58505>

                 Summary: Handing NAs to glpk() can causes several classes of
crashes
                 Project: GNU Octave
            Submitted by: jbmazon
            Submitted on: sam. 06 juin 2020 05:48:51 UTC
                Category: Octave Function
                Severity: 3 - Normal
                Priority: 5 - Normal
              Item Group: Segfault, Bus Error, etc.
                  Status: None
             Assigned to: None
         Originator Name: 
        Originator Email: 
             Open/Closed: Open
                 Release: 5.2.0
         Discussion Lock: Any
        Operating System: GNU/Linux

    _______________________________________________________

Details:

GNU Octave, version 5.2.0
Copyright (C) 2020 John W. Eaton and others.
(...)
Octave was configured for "x86_64-pc-linux-gnu".
(...)
octave:1> glpk(1,NA,1)
Assertion failed: q->lb == q->ub
Error detected in file npp/npp2.c at line 1112
fatal: caught signal Aborted -- stopping myself...
Aborted (core dumped)

octave:2> glpk(1,1,NA)
Assertion failed: p->lb < p->ub
Error detected in file npp/npp3.c at line 894
fatal: caught signal Aborted -- stopping myself...
Aborted (core dumped)

octave:3> glpk(1,1,1,NA)
octave:4> glpk(1,1,1,1,NA)
Assertion failed: q->lb < q->ub
Error detected in file npp/npp3.c at line 295
fatal: caught signal Aborted -- stopping myself...
Aborted (core dumped)

I also have a seemingly deeper one that I haven't managed to extract and
reproduce outside of its (deep) context yet.  The parameters as dumped just
before the failing call are as follows:

c = [ 0 0 0 0 1 ]'
A = [ 0.00000   1.00000   1.00000   1.00000  -1.00000 ;
      -1.00000        NA   1.00000   0.00000  -1.00000 ;
      -1.00000   1.00000   1.00000   1.00000  -1.00000 ;
      -1.00000   1.00000   1.00000   1.00000  -1.00000 ;
      -1.00000   1.00000   1.00000   1.00000  -1.00000 ;
      -1.00000   1.00000   1.00000   1.00000  -1.00000 ;
      1.00000   1.00000   1.00000   1.00000   0.00000 ]
b = [ 0 0 0 0 0 0 1 ]'
lb = [ 0 0 0 0 -1 ]
ub = [ 1 1 1 1  1 ]
sense = -1
params = struct("msglev",0,"dual",1,"solver",2)
glpk(c,A,b,lb,ub,"LLLLLLS","CCCCC",sense,params)

And the crash as follows:

Scaling...
 A: min|aij| =  1.000e+00  max|aij| =  1.000e+00  ratio =  1.000e+00
Problem data seem to be well scaled
EQ: min|aij| =  1.000e+00  max|aij| =  1.000e+00  ratio =  1.000e+00
Assertion failed: x[j] > 0.0 && z[j] > 0.0
Error detected in file draft/glpipm.c at line 508
fatal: caught signal Aborted -- stopping myself...
Aborted (core dumped)





    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?58505>

_______________________________________________
  Message posté via Savannah
  https://savannah.gnu.org/