If statements with empty then branch

import cpp

from IfStmt i
where i.getThen().(BlockStmt).getNumStmt() = 0
select i

Description

Finds `if` statements where the `then` branch is an empty block statement