PR# 19442 [er] Crash with Non-object-call with assertions

Problem Report Summary

Submitter: axarosenberg

Category: Compiler

Priority: Low

Date: 2018/06/11

Class: Bug

Severity: Non-critical

Number: 19442

Release: 18.05

Confidential: No

Status: Analyzed

Responsible:

Environment: win

Synopsis: [er] Crash with Non-object-call with assertions

Description

When running this code compiled with 18.05.10.1818 with assertions turned on:

~~~~~~~~~~~~~~~~
class AA
		
create

	make

feature

	make
		do
			print ({BB}.f)
		end

end
~~~~~~~~~~~~~~~~
class BB

feature

	f: INTEGER
		require
			g
		external
			"C inline"
		alias
			"return (EIF_INTEGER)60;"
		ensure
			class_feature: class
		end

	g: BOOLEAN
		do
			Result := True
		ensure
			class_feature: class
		end

end
~~~~~~~~~~~~~~~~

I get this exception trace:

-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
AA                  f @1                   Segmentation violation:      
<0000023DFF569588>  (From BB)              Operating system signal.      Fail
-------------------------------------------------------------------------------
AA                  f @1                                                
<0000023DFF569588>  (From BB)              Precondition violated.        Fail
-------------------------------------------------------------------------------
AA                  make @1                                             
<0000023DFF569588>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AA                  root's creation                                     
<0000023DFF569588>                         Routine failure.              Exit
-------------------------------------------------------------------------------

--
Eric Bezault

To Reproduce

Problem Report Interactions

From:axarosenberg Date:2018/06/20 Status: Analyzed Download

Yes, I have a similar test case for inherited assertions:

  https://github.com/gobo-eiffel/gobo/tree/master/library/tools/test/eiffel/validity/vuno3/test16

I did not send it to the initial bug report because I thought that if one is fixed, the other one would be fixed as well.

--
Eric Bezault

From:jfiat_es Date:2018/06/18 Status: Analyzed Download

We were able to reproduce in workbench mode, but not in finalized mode.
We will let you know when it is fixed.