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


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

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

Add a New Comment (Rich Markup)

You are not logged in

Please log in, so followups can be emailed to you.


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>
Project AdministratorIn charge of this item.


(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)

    Do you think this task is very important?
    If so, you can add your encouragement to it.
    This task has 0 encouragements so far.

    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.6