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
From:jsostroff    Date:2018/05/10    Download   
Attachments for problem report #19439

Attachment: eiffel_seg_fault-master.zip     Size:1459