Re: [Bug-glpk] Glpsol segmentation fault

[Andrew Makhorin]

On Sun, 2016-06-12 at 18:37 +0200, Petter Strandmark wrote:
> Hi,
> 
> 
> I just tried the tool american fuzzy lop on glpsol 4.60 and the
> following command generates a segmentation fault (possibly stack
> overflow):
>         
>         
>         ./glpsol --math 0.txt
>         
>         
> I attached the file 0.txt.
> 
> 
> Cheers,
> Petter

Thank you for your report.

Yes, the stack overflow exception occurs due to (incorrect) recursive
declaration

        set HOUSE := {HOUSE };

However, this is not a bug, because MathProg allows recursive
declarations. The situation is the same as a too deep recursive call in
a program written in some programming language--it is not a compiler
bug.