PR# 19702 incremental compilation produces different results with the same code

Problem Report Summary
Submitter: emme
Category: Compiler
Priority: Medium
Date: 2020/12/20
Class: Bug
Severity: Serious
Number: 19702
Release: 19.05
Confidential: No
Status: Open
Responsible: alexk_es
Environment: linux
Synopsis: incremental compilation produces different results with the same code

Description
The same code (i.e. cow.A) compiles to two different programs if intertwined with the compilation of another version (i.e. cow.B). To reproduce the bug try the script I put in the tar.gz and copied also below in the to reproduce section.


ISE EiffelStudio version 19.05.10.3187 GPL Edition - linux-x86-64
2,3d1
< rescue
< consumed
To Reproduce
rm -rf EIFGENs
cp cow.A cow.e
ec -config animals.ecf
(cd EIFGENs/animals/W_code; finish_freezing)
./EIFGENs/animals/W_code/animals > outputA.1

cp cow.B cow.e
ec -config animals.ecf
(cd EIFGENs/animals/W_code; finish_freezing)
./EIFGENs/animals/W_code/animals > outputB.1

cp cow.A cow.e
ec -config animals.ecf
(cd EIFGENs/animals/W_code; finish_freezing)
./EIFGENs/animals/W_code/animals > outputA.2

ec -version > bug-record.txt
diff outputA.[12] >> bug-record.txt
Problem Report Interactions
From:emme    Date:2020/12/20    Download   
Attachments for problem report #19702

Attachment: animals.tar.gz     Size:1694