PR# 19296 Incorrect report of code analysis rule CA022 violation
Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Low
Date: 2016/11/18
Class: Bug
Severity: Non-critical
Number: 19296
Release: 16.11.99804
Confidential: No
Status: Open
Responsible: alexk_es
Environment: linux
Synopsis: Incorrect report of code analysis rule CA022 violation
Description
The Eiffel Inspector reports a violation of code analysis rule CA022 on this code: show_search_window -- Process request to show search window. -- Create window if it does not -- already exist. Otherwise, just show it do build_search_window search_interface.raise search_interface.reset end It reports that the last line of the procedure (the `reset' call) is unreachable. But this is incorrect, because search_interface is a window and `raise' is a call to raise the window, not a call to raise an exception.
To Reproduce
Problem Report Interactions