PR# 19486 Incorrect report of code analysis rule CA029 violation

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2018/10/24
Class: Bug
Severity: Non-critical
Number: 19486
Release: 18.07
Confidential: No
Status: Open
Responsible:
Environment: linux
Synopsis: Incorrect report of code analysis rule CA029 violation

Description
In some cases, code analysis can report a CA029 violation (Object or non-Void test succeeds)
when an object test does not always succeed (false positive).
To Reproduce
Compile with attached classes.  Compiler reports CA029 violation on class TEST,
positioned on "like state".  But in fact the object test does not always succeed,
as shown by executing the system.
Problem Report Interactions
From:prestoat2000    Date:2018/10/24    Download   
Attachments for problem report #19486

Attachment: test.e     Size:490
Attachment: test2.e     Size:194