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