CodeQL library for C/C++
Search

Module LocalScopeVariableReachability

DEPRECATED: Use StackVariableReachability instead.

Import path

import semmle.code.cpp.controlflow.LocalScopeVariableReachability

Imports

cpp

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

Predicates

bbSuccessorEntryReachesLoopInvariant

Loop invariant for bbSuccessorEntryReaches:

Classes

LocalScopeVariableReachability

DEPRECATED: Use StackVariableReachability instead.

LocalScopeVariableReachabilityExt

DEPRECATED: Use StackVariableReachabilityExt instead.

LocalScopeVariableReachabilityWithReassignment

DEPRECATED: Use StackVariableReachabilityWithReassignment instead.