PR# 13068 Turning on use_application_options after initial compile has no effect

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: High
Date: 2007/06/10
Class: Bug
Severity: Serious
Number: 13068
Release: 6.0.68981
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1.3) Gecko/20070321 Firefox/2.0.0.3 Solaris 10 on x86
Synopsis: Turning on use_application_options after initial compile has no effect

Description
After an initial compile where the use_application_options setting is not
specified for base library in the configuration file, add
use_application_options="true" to the <library> element in the
configuration file and recompile the system.  System execution then does not
use application options, so it still prints False but it should fail with
a precondition violation.

This is an incrementality bug - compiling from scratch with the final .ecf file
causes system execution to produce the correct result (a precondition violation).

This should go on the Critical Bugs list.
To Reproduce
Compile with attached class and config file test.ecf.
Execute system.  Prints False because library is not using application options.
Copy file test_new.ecf to test.ecf (it just adds the use_application_options
attribute to the <library> element).
Recompile.  Execute system.  Still prints False but should get a precondition
   violation.
Now delete EIFGENs directory and compile.  System execution then correctly
   results in a precondition violation.
Problem Report Interactions
From:manus_eiffel    Date:2007/12/10    Status: Closed    Download   
This should be fixed in rev#71453.

From:manus_eiffel    Date:2007/12/10    Download   
Added eweasel test#assert002.

From:manus_eiffel    Date:2007/12/10    Status: Analyzed    Download   
Trying with eweasel worked just fine and the reason is that by default we always force the `-melt' option so that file changes are always tracked. I'll try to fix this for 6.1 but it might be more tricky.

From:prestoat2000    Date:2007/06/10    Download   
Attachments for problem report #13068

Attachment: test.e     Size:290
Attachment: test.ecf     Size:1531
Attachment: test_new.ecf     Size:1562