mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
10 lines
184 B
Plaintext
10 lines
184 B
Plaintext
/**
|
|
* @name Test for indices of block children
|
|
*/
|
|
|
|
import csharp
|
|
|
|
where
|
|
forall(BlockStmt b | forall(int n | n in [0 .. b.getNumberOfStmts() - 1] | exists(b.getChild(n))))
|
|
select 1
|