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