Files
codeql/csharp/ql/test/library-tests/controlflow/graph/ExitElement.ql
2020-11-23 11:38:24 +01:00

9 lines
281 B
Plaintext

import csharp
import semmle.code.csharp.controlflow.internal.ControlFlowGraphImpl
private import semmle.code.csharp.controlflow.internal.Completion
import Common
from SourceControlFlowElement cfe, ControlFlowElement last, Completion c
where last(cfe, last, c)
select cfe, last, c