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.