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

Module EdgeKind

Predicates to access the single instance of each EdgeKind class.

Import path

import semmle.code.cpp.ir.IR

Predicates

caseEdge

Gets the CaseEdge representing a case label with the specified lower and upper bounds. For example: switch (x) { case 1: // Edge kind is `caseEdge("1", "1")` return x; case 2...8: // Edge kind is `caseEdge("2", "8")` return x - 1; default: // Edge kind is `defaultEdge()` return 0; }

cppExceptionEdge

Gets the single instance of the CppExceptionEdge class.

defaultEdge

Gets the single instance of the DefaultEdge class.

falseEdge

Gets the single instance of the FalseEdge class.

gotoEdge

Gets the single instance of the GotoEdge class.

sehExceptionEdge

Gets the single instance of the SehExceptionEdge class.

trueEdge

Gets the single instance of the TrueEdge class.