mirror of
https://github.com/github/codeql.git
synced 2026-08-04 09:23:23 +02:00
17 lines
507 B
Plaintext
17 lines
507 B
Plaintext
/**
|
|
* @name ifelsestmt04
|
|
* @description In normal, the statement following the if statement is the only successor of the last statement in the then block.
|
|
*/
|
|
|
|
import cpp
|
|
|
|
from IfStmt is, int k, Stmt last, LabelStmt l3
|
|
where
|
|
is.getEnclosingFunction().hasName("normal") and
|
|
is.getParentStmt().hasChild(is, k) and
|
|
is.getParentStmt().hasChild(l3, k + 1) and
|
|
last = is.getThen().(BlockStmt).getLastStmt() and
|
|
l3 = last.getASuccessor() and
|
|
count(last.getASuccessor()) = 1
|
|
select last, l3.getName()
|