Files
codeql/cpp/ql/test/successor-tests/dostmt/dostmt05.ql
2018-08-02 17:53:23 +01:00

14 lines
218 B
Plaintext

/**
* @name dostmt05
* @description The unique successor of each do statement is its body.
*/
import cpp
from DoStmt ds
where not
(
ds.getStmt() = ds.getASuccessor()
and count(ds.getASuccessor()) = 1
)
select ds