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.