PR# 19378 [RJ] Eiffel Inspector made a mistake (CA087)

Problem Report Summary
Submitter: axarosenberg
Category: EiffelStudio
Priority: Low
Date: 2017/07/20
Class: Bug
Severity: Non-critical
Number: 19378
Release: 17.05
Confidential: No
Status: Analyzed
Responsible:
Environment: win
Synopsis: [RJ] Eiffel Inspector made a mistake (CA087)

Description
I got the warning "Mergeable conditionals" (CA087) for this code:

			if not l_file.exists
			then
				l_folder_name.append(environment_name + "\")
				create l_file.make(l_folder_name + l_file_name)
			end

			if not l_file.exists
			then
				...

At first glance it looks like these 'if' statements could be combined, but 'l_file' is modified by the first.

Randy
To Reproduce

										
Problem Report Interactions
From:manus_eiffel    Date:2017/07/27    Status: Analyzed    Download   
Thanks for the report. We will look into a fix for next release.