mirror of
https://github.com/github/codeql.git
synced 2025-12-20 02:44:30 +01:00
f07a7bf8cf
Will need subsequent PRs fixing up test failures (due to deprecated methods moving around), but other than that everything should be straight-forward.
16 lines
438 B
Plaintext
16 lines
438 B
Plaintext
/**
|
|
* @name Raising Flow
|
|
* @description Test
|
|
*/
|
|
|
|
import python
|
|
|
|
from ControlFlowNode p, ControlFlowNode s, string kind
|
|
where
|
|
p.getASuccessor() = s and
|
|
(if s = p.getAnExceptionalSuccessor() then kind = "exception" else kind = " normal ") and
|
|
not p.getNode() instanceof Scope and
|
|
not s.getNode() instanceof Scope
|
|
select p.getNode().getLocation().getStartLine(), p.toString(), kind,
|
|
s.getNode().getLocation().getStartLine(), s
|