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
Release: 14.05.9.5417
Confidential: No
Status: Open
Responsible:
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.

Description
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.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions