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.