[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