Introduce catch clause analysis: Exception is not thrown from try block

[RicoSuter]

Try to detect redundant catch clauses by examining exceptions thrown from inside of try block.

https://exceptional.codeplex.com/workitem/2342

[jongleur1983]

Is this possible?
As far as I understand Exceptional yet, it only checks possibly thrown exceptions over one call hierarchy level (at least documentation is not reported as missing two levels above a throwing or documented method).
To detect a redundant catch clause, this would not be enough since the documentation tags are a convention, but not a requirement of the compiler, thus in any case an unknown exception is possible to be thrown in the abyss of unknown code.

I might be wrong - and would be happy to learn more in that case ;)