example.php

class C {
	function f(){
		try {
			$someObj->someMethod();
		catch (SomeException $e) {  // PHPStorm now indicates that there's no reason to handle SomeException cos the try block doesn't throw it
			// handle it
		}
	}
}

class SomeClass {
	function someMethod(){
		if ($someCondition) {
			return "good value";
		}
		throw new SomeException("bad result");
	}
}

Here's the proper code, it works just fine.

<?php
class SomeException extends Exception {}
class C {
    function f(SomeClass $someObj){
        try {
            $someObj->someMethod(false);
        }
        catch (SomeException $e) {  // PHPStorm now indicates that there's no reason to handle SomeException cos the try block doesn't throw it
                // handle it
            }
	}
}

class SomeClass {
    function someMethod(bool $someCondition){
        if ($someCondition) {
            return "good value";
        }
        throw new SomeException("bad result");
    }
}

In my case, PHP storm then reports there is no return on the function.