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 "llvm/ADT/STLExtras.h"
#include "llvm/ADT/Sequence.h"
#include <optional>

Go to the source code of this file.

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

Function Documentation

bindRequiredArrayElementToEnvironment()

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

static

Definition at line 506 of file ExprEngineCXX.cpp.

References clang::extractElementInitializerFromNestedAILE(), clang::ArrayInitLoopExpr::getCommonExpr(), clang::ento::SValBuilder::getContext(), clang::ento::MemRegionManager::getElementRegion(), clang::ento::SValBuilder::getRegionManager(), and clang::OpaqueValueExpr::getSourceExpr().