PR# 18969 [RJ] Finalized preconditions on 'item' and 'put' in SPECIAL.
Problem Report Summary
Class: Feature Request
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). Randy 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.
Problem Report Interactions