PR# 19439 Query {INTEGER}.is_greater crashes with a segmentation error in ES17.05 on Linux, Windows and OSX.
Problem Report Summary
Submitter: jsostroff
Category: EiffelBase
Priority: High
Date: 2018/05/10
Class: Bug
Severity: Serious
Number: 19439
Release: 17.05
Confidential: No
Status: Open
Responsible:
Environment: mac
Synopsis: Query {INTEGER}.is_greater crashes with a segmentation error in ES17.05 on Linux, Windows and OSX.
Description
Query {INTEGER}.is_greater crashes with a segmentation error in ES17.05 on Linux, Windows and OSX. The infix operator is ok, though. Installation information: Version = EiffelStudio 17.5 (17.05.10.0416 GPL Edition - macosx-x86-64) $ISE_EIFFEL = /usr/local/Eiffel_17.05 $ISE_LIBRARY = /usr/local/Eiffel_17.05 $ISE_PLATFORM = macosx-x86-64
To Reproduce
(1) Compile the attached zipped project. The attached code has a routine make local a: INTEGER do a := 4 if a.is_greater(2) then print ("Hello Eiffel World!%N") end end (2) Run it. Should crash with a segmentation error jsom2% estudio error.ecf & [1] 2743 jsom2% error: PANIC: Unexpected harmful signal (Segmentation fault) ... error: system execution failed. Following is the set of recorded exceptions. NB: The raised panic may have induced completely inconsistent information: ******************************** Thread exception ***************************** In thread Root thread 0x0 (thread id) ******************************************************************************* ------------------------------------------------------------------------------- Class / Object Routine Nature of exception Effect ------------------------------------------------------------------------------- INTEGER_32 is_greater Segmentation fault: <00000001085EE588> (From COMPARABLE) Operating system signal. Fail ------------------------------------------------------------------------------- INTEGER_32 is_greater <00000001085EE588> (From COMPARABLE) Routine failure. Fail ------------------------------------------------------------------------------- APPLICATION make @2 <00000001085EE548> Routine failure. Fail ------------------------------------------------------------------------------- APPLICATION root's creation <00000001085EE548> Routine failure. Exit ------------------------------------------------------------------------------- APPLICATION root's creation Unexpected harmful signal (Segmentation fault): <00000001085EE548> Eiffel run-time panic. Bye ------------------------------------------------------------------------------- error: dumping core to generate debugging information... net_send: setjmp /= 0
Problem Report Interactions