PR# 17491 runtime segfault on static assigner procedures

Problem Report Summary
Submitter: soapy2357
Category: Runtime
Priority: Low
Date: 2011/05/03
Class: Bug
Severity: Non-critical
Number: 17491
Release: 6.7 latest
Confidential: No
Status: Analyzed
Responsible:
Environment: Linux: openSUSE 11.4, i586, 32bit
Synopsis: runtime segfault on static assigner procedures

Description
Produces a segfault:

class
	TESTBED

create
	make

feature {ANY}

	make
		do
			{TESTBED}.foo := 4 --> ok

			{FOO}.foo := 4 --> segfault at runtime
			{FOO}.set_foo (4) --> ok
		end

	foo: INTEGER_32 assign set_foo
		external
			"C inline"
		alias
			"return 5;"
		end

	set_foo (a_foo: INTEGER_32)
		external
			"C inline"
		alias
			"printf(%"set_foo %%d\n%", $a_foo);"
		end

end

class
	FOO

feature {ANY}

	foo: INTEGER_32 assign set_foo
		external
			"C inline"
		alias
			"return 5;"
		end

	set_foo (a_foo: INTEGER_32)
		external
			"C inline"
		alias
			"printf(%"set_foo %%d\n%", $a_foo);"
		end

end
To Reproduce

										
Problem Report Interactions
From:manus_eiffel    Date:2011/05/06    Status: Analyzed    Download   
We have added eweasel test#exec341.