mirror of
https://github.com/github/codeql.git
synced 2025-12-20 18:56:32 +01:00
13 lines
188 B
Plaintext
13 lines
188 B
Plaintext
/**
|
|
* @name Test for gotos
|
|
*/
|
|
|
|
import csharp
|
|
|
|
from Method m, GotoLabelStmt s
|
|
where
|
|
m.getName() = "MainGoto" and
|
|
s.getLabel() = "check" and
|
|
s.getEnclosingCallable() = m
|
|
select m, s
|