For example, in WebStorm,  This feature requires intra-procedural control flow graph.