PR# 19481 Incorrect report of code analysis rule CA049 violation

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

Description
The code analyzer reports a CA049 violation (comparison of object references) for a comparison to Void.
I hope this is a bug.
To Reproduce
Compile with attached class and click Analyze button.
Reports CA049 violation.  I consider this a false positive since the comparison is with Void.
Problem Report Interactions
From:prestoat2000    Date:2018/10/22    Download   
Attachments for problem report #19481

Attachment: test.e     Size:154