[Ipopt-tickets] [Ipopt] #305: windows Ipopt executables most often fail for all versions , while NEOS ipopt always succeed

Ipopt coin-trac at coin-or.org
Sun May 27 11:30:03 EDT 2018


#305: windows Ipopt executables most often fail  for all versions ,  while NEOS
ipopt always succeed
---------------------+------------------------
  Reporter:  maajdl  |      Owner:  ipopt-team
      Type:  defect  |     Status:  new
  Priority:  normal  |  Component:  Ipopt
   Version:  3.12    |   Severity:  major
Resolution:          |   Keywords:
---------------------+------------------------

Comment (by stefan):

 Attached readnl.c reproduces use of uninitialized values and invalid reads
 on previously attached test.nl (no objective) and test2.nl (constant
 objective) without Ipopt.

 {{{
 $ gcc readnl.c -g -Isolvers solvers/amplsolver.a -lm -ldl
 $ valgrind --track-origins=yes ./a.out test.nl
 Memcheck, a memory error detector
 Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
 Using Valgrind-3.13.0 and LibVEX; rerun with -h for copyright info
 Command: ./a.out test.nl

 Conditional jump or move depends on uninitialised value(s)
    at 0x110EE5: hvadjust (in a.out)
    by 0x1194BB: pfgh_read_ASL (in a.out)
    by 0x10A7B4: main (readnl.c:29)
  Uninitialised value was created by a heap allocation
    at 0x4C2CEDF: malloc (vg_replace_malloc.c:299)
    by 0x10B914: mymalloc_ASL (in a.out)
    by 0x10BB78: M1alloc_ASL (in a.out)
    by 0x10C11C: mem_ASL (in a.out)
    by 0x111324: new_expr (in a.out)
    by 0x116B54: eread (in a.out)
    by 0x116B42: eread (in a.out)
    by 0x116B42: eread (in a.out)
    by 0x116EC2: eread (in a.out)
    by 0x116B42: eread (in a.out)
    by 0x116E15: eread (in a.out)
    by 0x116B42: eread (in a.out)

 Conditional jump or move depends on uninitialised value(s)
    at 0x110EE5: hvadjust (in a.out)
    by 0x1194C8: pfgh_read_ASL (in a.out)
    by 0x10A7B4: main (readnl.c:29)
  Uninitialised value was created by a heap allocation
    at 0x4C2CEDF: malloc (vg_replace_malloc.c:299)
    by 0x10B914: mymalloc_ASL (in a.out)
    by 0x10BB78: M1alloc_ASL (in a.out)
    by 0x10C11C: mem_ASL (in a.out)
    by 0x111324: new_expr (in a.out)
    by 0x116B54: eread (in a.out)
    by 0x116B42: eread (in a.out)
    by 0x116B42: eread (in a.out)
    by 0x116EC2: eread (in a.out)
    by 0x116B42: eread (in a.out)
    by 0x116E15: eread (in a.out)
    by 0x116B42: eread (in a.out)

 n_obj: 0 obj_no: 0
 Invalid read of size 8
    at 0x125207: hv_fwd (in a.out)
    by 0x12518E: hv_fwd (in a.out)
    by 0x1259E7: pshv_prod1 (in a.out)
    by 0x1265F5: sphes_setup_ASL (in a.out)
    by 0x10A8AA: main (readnl.c:39)
  Address 0x58fbaf0 is 0 bytes after a block of size 19,312 alloc'd
    at 0x4C2CEDF: malloc (vg_replace_malloc.c:299)
    by 0x10B914: mymalloc_ASL (in a.out)
    by 0x10BB78: M1alloc_ASL (in a.out)
    by 0x10C11C: mem_ASL (in a.out)
    by 0x111324: new_expr (in a.out)
    by 0x116B54: eread (in a.out)
    by 0x116E15: eread (in a.out)
    by 0x116B42: eread (in a.out)
    by 0x116B42: eread (in a.out)
    by 0x116EC2: eread (in a.out)
    by 0x116B37: eread (in a.out)
    by 0x116B42: eread (in a.out)
 }}}
 This is with the current ASL version (20180522).

 r2715 fixed an invalid read in Ipopt if no objective is present.

--
Ticket URL: <https://projects.coin-or.org/Ipopt/ticket/305#comment:12>
Ipopt <http://projects.coin-or.org/Ipopt>
Interior-point optimizer for nonlinear programs.



More information about the Ipopt-tickets mailing list