bugLiberty Eiffel - Bugs: bug #48712, Inheriting a class with exports to...


bug #48712: Inheriting a class with exports to not exisisting class crashes compiler

Submitter:  Paolo Redaelli <Tybor>
Submitted:  Sat 06 Aug 2016 07:55:59 PM UTC
Category:  SmartEiffel Severity:  4 - Important
Priority:  * 5 - Normal Status:  Confirmed
Assigned to:  Tybor Open/Closed:  Open
Release:  bell Fixed Release:  None
Planned Release:  curtiss
* Mandatory Fields

Add a New Comment Rich Markup

Sat 06 Aug 2016 07:55:59 PM UTC, original submission:  

Compiler crashes when compiling a class that inherit or insert another class that export some features to a class that does exist.

I think I shall mark this issue as Important because the compiler is usually compiled in boost mode and it does not give the programmer any clue about the crash reason.

Also recompiling compile_to_c with preconditions check enabled actually makes it quite slower

See attached example

Paolo Redaelli <Tybor>
Group administrator


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

Attach Files:

Attached Files
file #38126:  foo.e added by Tybor (124B - text/x-eiffel)
file #38127:  unexistent_export.e added by Tybor (146B - text/x-eiffel)


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -email is unavailable- added by Tybor (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.


    Follow 2 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2016-08-06 Tybor Attached File- Added foo.e, #38126
        Attached File- Added unexistent_export.e, #38127

    Back to the top

    Powered by Savane 3.13-758e.
    Corresponding source code