Liberty Eiffel - Bugs: bug #62591, call on Void target crashed as...

Group

Main
- Main
- View members
- Search
Homepage
Download
Docs
Support
- Submit new
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
Mailing lists
Source code
Bugs
- Submit new
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
Tasks
- ~~Submit new~~
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
News
- Browse
- Atom feed
- ~~Submit~~
- ~~Manage~~

bug #62591: call on Void target crashed as runtime

Submitter:	Raphael Mack <ramack>
Submitted:	Mon 06 Jun 2022 07:28:37 PM UTC


Category:	SmartEiffel	Severity:	2 - Minor
Priority: *	3 - Low	Status:	Confirmed
Assigned to:	None	Open/Closed:	Open
Release:	adler	Fixed Release:	None
Planned Release:	curtiss

* Mandatory Fields

Add a New Comment Rich Markup

Tue 30 Jul 2024 04:29:53 PM UTC, comment #3: ECMA has a paragraph 8.24 called "Eradicating void calls". I found no other references to this topic within the standard.	Hans Zwakenberg <hzwakenberg>
Wed 08 Jun 2022 06:46:16 AM UTC, comment #2: I agree to removetest_agent12.e HZ	Anonymous
Mon 06 Jun 2022 07:35:57 PM UTC, comment #1: Same happens in language/exceptions/test_exceptions_01.e we could consider to remove test_agent12.e without any loss.	Raphael Mack <ramack>
Mon 06 Jun 2022 07:28:37 PM UTC, original submission: test language/agent/test_agent12.e shows a non-initialized (= Void) procedure variable p: PROCEDURE[TUPLE] on which (indirectly) p.call([]) is called. With assertions this yields an exception that can be caught by a rescue clause, fixed there and a retry passes. In boost mode the code simply fails with a "Application crash at run time." Next action: to be checked in ECMA whether there is a intended behavior defined. - Shall the Void-call be catchable with rescue?	Raphael Mack <ramack>

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:


Comment:

No files currently attached

Depends on the following items: None found

Items that depend on this one: None found

Carbon-Copy List

-email is unavailable- added by hzwakenberg (Posted a comment)

-email is unavailable- added by ramack (Submitted the item)

There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

Only logged-in users can vote.

Please enter the title of George Orwell's famous dystopian book (it's a date):

Follows 1 latest change.

Date	Changed by	Updated Field	Previous Value	=>	Replaced by
2022-06-06	ramack	Priority	5 - Normal		3 - Low

Liberty Eiffel - Bugs: bug #62591, call on Void target crashed as...

bug #62591: call on Void target crashed as runtime

<a href="#postcomment">Post a Comment</a>

<a href="#discussion">Discussion</a>

<a href="#attached">Attached Files</a>

<a href="#dependencies">Dependencies</a>

<a href="#cc">Mail Notification Carbon-Copy List</a>

<a href="#votes">Votes</a>

<a href="#history">History</a>