Lines Matching refs:Environment

69                                   const Environment &Env1, Value &Val2,  in compareDistinctValues()
70 const Environment &Env2, in compareDistinctValues()
71 Environment::ValueModel &Model) { in compareDistinctValues()
94 const Environment &Env1, Value &Val2, in mergeDistinctValues()
95 const Environment &Env2, in mergeDistinctValues()
96 Environment &MergedEnv, in mergeDistinctValues()
97 Environment::ValueModel &Model) { in mergeDistinctValues()
156 const Environment &PrevEnv, Value &Current, in widenDistinctValues()
157 Environment &CurrentEnv, in widenDistinctValues()
158 Environment::ValueModel &Model) { in widenDistinctValues()
196 const Environment &Env1, const Environment &Env2, in compareKeyToValueMaps()
197 Environment::ValueModel &Model) { in compareKeyToValueMaps()
223 const Environment &Env1, const Environment &Env2, in joinLocToVal()
224 Environment &JoinedEnv, Environment::ValueModel &Model) { in joinLocToVal()
258 Environment &CurEnv, const Environment &PrevEnv, in widenKeyToValueMap()
259 Environment::ValueModel &Model, LatticeJoinEffect &Effect) { in widenKeyToValueMap()
373 Environment::Environment(DataflowAnalysisContext &DACtx) in Environment() function in clang::dataflow::Environment
377 Environment::Environment(DataflowAnalysisContext &DACtx, in Environment() function in clang::dataflow::Environment
379 : Environment(DACtx) { in Environment()
383 void Environment::initialize() { in initialize()
428 void Environment::initFieldsGlobalsAndFuncs(const FunctionDecl *FuncDecl) { in initFieldsGlobalsAndFuncs()
475 Environment Environment::fork() const { in fork()
476 Environment Copy(*this); in fork()
481 bool Environment::canDescend(unsigned MaxDepth, in canDescend()
486 Environment Environment::pushCall(const CallExpr *Call) const { in pushCall()
487 Environment Env(*this); in pushCall()
505 Environment Environment::pushCall(const CXXConstructExpr *Call) const { in pushCall()
506 Environment Env(*this); in pushCall()
516 void Environment::pushCallInternal(const FunctionDecl *FuncDecl, in pushCallInternal()
539 void Environment::popCall(const CallExpr *Call, const Environment &CalleeEnv) { in popCall()
559 void Environment::popCall(const CXXConstructExpr *Call, in popCall()
560 const Environment &CalleeEnv) { in popCall()
570 bool Environment::equivalentTo(const Environment &Other, in equivalentTo()
571 Environment::ValueModel &Model) const { in equivalentTo()
598 LatticeJoinEffect Environment::widen(const Environment &PrevEnv, in widen()
599 Environment::ValueModel &Model) { in widen()
632 Environment Environment::join(const Environment &EnvA, const Environment &EnvB, in join()
633 Environment::ValueModel &Model) { in join()
638 Environment JoinedEnv(*EnvA.DACtx); in join()
688 StorageLocation &Environment::createStorageLocation(QualType Type) { in createStorageLocation()
692 StorageLocation &Environment::createStorageLocation(const ValueDecl &D) { in createStorageLocation()
699 StorageLocation &Environment::createStorageLocation(const Expr &E) { in createStorageLocation()
706 void Environment::setStorageLocation(const ValueDecl &D, StorageLocation &Loc) { in setStorageLocation()
711 StorageLocation *Environment::getStorageLocation(const ValueDecl &D) const { in getStorageLocation()
721 void Environment::removeDecl(const ValueDecl &D) { DeclToLoc.erase(&D); } in removeDecl()
723 void Environment::setStorageLocation(const Expr &E, StorageLocation &Loc) { in setStorageLocation()
734 StorageLocation *Environment::getStorageLocation(const Expr &E) const { in getStorageLocation()
764 Environment::getResultObjectLocation(const Expr &RecordPRValue) const { in getResultObjectLocation()
801 PointerValue &Environment::getOrCreateNullPointerValue(QualType PointeeType) { in getOrCreateNullPointerValue()
805 void Environment::setValue(const StorageLocation &Loc, Value &Val) { in setValue()
811 void Environment::setValue(const Expr &E, Value &Val) { in setValue()
823 Value *Environment::getValue(const StorageLocation &Loc) const { in getValue()
827 Value *Environment::getValue(const ValueDecl &D) const { in getValue()
834 Value *Environment::getValue(const Expr &E) const { in getValue()
846 Value *Environment::createValue(QualType Type) { in createValue()
858 Value *Environment::createValueUnlessSelfReferential( in createValueUnlessSelfReferential()
927 Environment::createLocAndMaybeValue(QualType Ty, in createLocAndMaybeValue()
949 StorageLocation &Environment::createObjectInternal(const ValueDecl *D, in createObjectInternal()
999 void Environment::assume(const Formula &F) { in assume()
1003 bool Environment::proves(const Formula &F) const { in proves()
1007 bool Environment::allows(const Formula &F) const { in allows()
1011 void Environment::dump(raw_ostream &OS) const { in dump()
1035 void Environment::dump() const { in dump()
1040 const Environment &Env) { in getImplicitObjectLocation()
1054 const Environment &Env) { in getBaseObjectLocation()
1078 RecordValue &refreshRecordValue(RecordStorageLocation &Loc, Environment &Env) { in refreshRecordValue()
1084 RecordValue &refreshRecordValue(const Expr &Expr, Environment &Env) { in refreshRecordValue()