Module ConstantExprs

Import path

semmle.code.cpp.controlflow.internal.ConstantExprs

Imports

cpp

Provides classes and predicates for working with C/C++/ObjC/ObjC++ code.

Predicates

aborting

A call to a function known not to return.

abortingFunction

Functions that are known not to return. This is normally because the function exits the program or longjmps to another location.

successors_adapted

An adapted version of the successors_extended relation that excludes impossible control-flow edges - flow will never occur along these edges, so it is safe (and indeed sensible) to remove them.

Classes

CompileTimeConstantInt
CompileTimeVariableExpr
ConditionEvaluator

A helper class for evaluation of conditions.

ExprEvaluator

A helper class for evaluation of expressions.

ForLoopEntryConditionEvaluator

A helper class for evaluation of for-loop entry conditions.

LoopEntryConditionEvaluator

A helper class for evaluation of loop entry conditions.

SwitchEvaluator

A helper class for evaluation of switch expressions.

WhileLoopEntryConditionEvaluator

A helper class for evaluation of while-loop entry conditions.