PR# 19615 Differing result for finalized exe when initializing a descendant of BOOLEAN_REF

Problem Report Summary
Submitter: finnianr
Category: Compiler
Priority: Medium
Date: 2020/01/24
Class: Bug
Severity: Serious
Number: 19615
Release: 16.05
Confidential: No
Status: Open
Responsible:
Environment: linux
Synopsis: Differing result for finalized exe when initializing a descendant of BOOLEAN_REF

Description
This bug may also affect later versions of the compiler. The output for the following routine differs from the expected result in the finalized exe .  In workbench mode the expected result is output.

   boolean_option
      local
         option: EL_BOOLEAN_OPTION
      do
         option := True
         lio.put_labeled_string ("option", option.is_enabled.out)
         lio.put_new_line
      end

 (source for EL_BOOLEAN_OPTION attached)
To Reproduce

										
Problem Report Interactions
From:finnianr    Date:2020/01/24    Download   

											
											
											
Attachment: el_boolean_option.e     Size:2057