PR# 19480 Incorrect report of code analysis rule CA087 violation

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2018/10/22
Class: Bug
Severity: Serious
Number: 19480
Release: 18.07
Confidential: No
Status: Open
Responsible:
Environment: linux
Synopsis: Incorrect report of code analysis rule CA087 violation

Description
In some cases, Analyze reports a violation of rule Ca087 when tthere is no violation (false positive).
To Reproduce
Compile with attached class and click Analyze button.  False positive CA087 violation
because the conditionals are not mergeable due to the side effect of changing
Result in the first conditional.
Problem Report Interactions
From:prestoat2000    Date:2018/10/22    Download   
Attachments for problem report #19480

Attachment: test.e     Size:362