PR# 18969 [RJ] Finalized preconditions on 'item' and 'put' in SPECIAL.

Problem Report Summary
Submitter: axarosenberg
Category: Compiler
Priority: Medium
Date: 2014/10/03
Class: Feature Request
Severity: Non-critical
Number: 18969
Confidential: No
Status: Open
Environment: Mozilla/5.0 (Windows NT 6.1; WOW64; Trident/7.0; rv:11.0) like Gecko
Synopsis: [RJ] Finalized preconditions on 'item' and 'put' in SPECIAL.

We would like there to be some method by which we could request that a finalized program discard all assertions except for the preconditions on 'item' and 'put' in SPECIAL.  We don't want to give up inlining or any other optimizations.  The method must work when compiled from the command line (I'm thinking that it would be in the ecf and not just a button in the EiffelStudio Question dialog).


p.s.  Manu discussed the possibility that inlining the assertions could cause excessive code size.  Our exe's average about 30 MB but hardly any run in less than 200 MB due to the enormous amounts of data they consume.  We don't consider this to be a big problem.
To Reproduce

Problem Report Interactions