CodeQL library for C/C++
codeql/cpp-all 0.7.2 ( changelog , source )
Search

Member predicate SwitchCase :: terminatesInThrowStmt

Holds if the last statement, as determined by getLastStmt, under this ‘switch case’ statement is a ‘throw’ statement.

For example, for

switch (i) {
case 5:
    x = 1;
    throw 1;
case 6:
case 7:
    { x = 2; throw 2; }
default:
    { x = 3; { x = 4; throw 3; } }
}

this holds for case 5:, case 7: and default:, but not for case 6:.

predicate terminatesInThrowStmt ( )