CodeQL library for C/C++
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; }

defaultEdge

Gets the single instance of the DefaultEdge class.

exceptionEdge

Gets the single instance of the ExceptionEdge class.

falseEdge

Gets the single instance of the FalseEdge class.

gotoEdge

Gets the single instance of the GotoEdge class.

trueEdge

Gets the single instance of the TrueEdge class.