clang 17.0.0git
Functions
ExprEngineCXX.cpp File Reference
#include "clang/AST/DeclCXX.h"
#include "clang/AST/ParentMap.h"
#include "clang/AST/StmtCXX.h"
#include "clang/Analysis/ConstructionContext.h"
#include "clang/Basic/PrettyStackTrace.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
#include <optional>
Include dependency graph for ExprEngineCXX.cpp:

Go to the source code of this file.

Functions

static ProgramStateRef bindRequiredArrayElementToEnvironment (ProgramStateRef State, const ArrayInitLoopExpr *AILE, const LocationContext *LCtx, SVal Idx)
 

Function Documentation

◆ bindRequiredArrayElementToEnvironment()

static ProgramStateRef bindRequiredArrayElementToEnvironment ( ProgramStateRef  State,
const ArrayInitLoopExpr AILE,
const LocationContext LCtx,
SVal  Idx 
)
static