Lines Matching refs:Environment

53                                   const Environment &Env1, Value &Val2,  in compareDistinctValues()
54 const Environment &Env2, in compareDistinctValues()
55 Environment::ValueModel &Model) { in compareDistinctValues()
90 const Environment &Env1, Value &Val2, in mergeDistinctValues()
91 const Environment &Env2, in mergeDistinctValues()
92 Environment &MergedEnv, in mergeDistinctValues()
93 Environment::ValueModel &Model) { in mergeDistinctValues()
134 const Environment &PrevEnv, Value &Current, in widenDistinctValues()
135 Environment &CurrentEnv, in widenDistinctValues()
136 Environment::ValueModel &Model) { in widenDistinctValues()
206 void Environment::initVars(llvm::DenseSet<const VarDecl *> Vars) { in initVars()
217 Environment::Environment(DataflowAnalysisContext &DACtx) in Environment() function in clang::dataflow::Environment
220 Environment::Environment(const Environment &Other) in Environment() function in clang::dataflow::Environment
228 Environment &Environment::operator=(const Environment &Other) { in operator =()
229 Environment Copy(Other); in operator =()
234 Environment::Environment(DataflowAnalysisContext &DACtx, in Environment() function in clang::dataflow::Environment
236 : Environment(DACtx) { in Environment()
291 bool Environment::canDescend(unsigned MaxDepth, in canDescend()
296 Environment Environment::pushCall(const CallExpr *Call) const { in pushCall()
297 Environment Env(*this); in pushCall()
317 Environment Environment::pushCall(const CXXConstructExpr *Call) const { in pushCall()
318 Environment Env(*this); in pushCall()
331 void Environment::pushCallInternal(const FunctionDecl *FuncDecl, in pushCallInternal()
384 void Environment::popCall(const Environment &CalleeEnv) { in popCall()
397 bool Environment::equivalentTo(const Environment &Other, in equivalentTo()
398 Environment::ValueModel &Model) const { in equivalentTo()
435 LatticeJoinEffect Environment::widen(const Environment &PrevEnv, in widen()
436 Environment::ValueModel &Model) { in widen()
496 LatticeJoinEffect Environment::join(const Environment &Other, in join()
497 Environment::ValueModel &Model) { in join()
505 Environment JoinedEnv(*DACtx); in join()
562 StorageLocation &Environment::createStorageLocation(QualType Type) { in createStorageLocation()
566 StorageLocation &Environment::createStorageLocation(const VarDecl &D) { in createStorageLocation()
573 StorageLocation &Environment::createStorageLocation(const Expr &E) { in createStorageLocation()
580 void Environment::setStorageLocation(const ValueDecl &D, StorageLocation &Loc) { in setStorageLocation()
585 StorageLocation *Environment::getStorageLocation(const ValueDecl &D, in getStorageLocation()
591 void Environment::setStorageLocation(const Expr &E, StorageLocation &Loc) { in setStorageLocation()
597 StorageLocation *Environment::getStorageLocation(const Expr &E, in getStorageLocation()
604 StorageLocation *Environment::getThisPointeeStorageLocation() const { in getThisPointeeStorageLocation()
608 StorageLocation *Environment::getReturnStorageLocation() const { in getReturnStorageLocation()
612 PointerValue &Environment::getOrCreateNullPointerValue(QualType PointeeType) { in getOrCreateNullPointerValue()
616 void Environment::setValue(const StorageLocation &Loc, Value &Val) { in setValue()
649 Value *Environment::getValue(const StorageLocation &Loc) const { in getValue()
654 Value *Environment::getValue(const ValueDecl &D, SkipPast SP) const { in getValue()
661 Value *Environment::getValue(const Expr &E, SkipPast SP) const { in getValue()
668 Value *Environment::createValue(QualType Type) { in createValue()
680 Value *Environment::createValueUnlessSelfReferential( in createValueUnlessSelfReferential()
761 StorageLocation &Environment::skip(StorageLocation &Loc, SkipPast SP) const { in skip()
780 const StorageLocation &Environment::skip(const StorageLocation &Loc, in skip()
785 void Environment::addToFlowCondition(BoolValue &Val) { in addToFlowCondition()
789 bool Environment::flowConditionImplies(BoolValue &Val) const { in flowConditionImplies()
793 void Environment::dump(raw_ostream &OS) const { in dump()
813 void Environment::dump() const { in dump()