Lines Matching refs:Environment
65 const Environment &Env1, Value *Val2, in equivalentValues()
66 const Environment &Env2, in equivalentValues()
67 Environment::ValueModel &Model) { in equivalentValues()
77 const Environment &Env1, Value *Val2, in mergeDistinctValues()
78 const Environment &Env2, in mergeDistinctValues()
79 Environment &MergedEnv, in mergeDistinctValues()
80 Environment::ValueModel &Model) { in mergeDistinctValues()
112 static void initGlobalVar(const VarDecl &D, Environment &Env) { in initGlobalVar()
124 static void initGlobalVar(const Decl &D, Environment &Env) { in initGlobalVar()
133 static void initGlobalVars(const Stmt &S, Environment &Env) { in initGlobalVars()
153 Environment::Environment(DataflowAnalysisContext &DACtx) in Environment() function in clang::dataflow::Environment
156 Environment::Environment(const Environment &Other) in Environment() function in clang::dataflow::Environment
163 Environment &Environment::operator=(const Environment &Other) { in operator =()
164 Environment Copy(Other); in operator =()
169 Environment::Environment(DataflowAnalysisContext &DACtx, in Environment() function in clang::dataflow::Environment
171 : Environment(DACtx) { in Environment()
203 Environment Environment::pushCall(const CallExpr *Call) const { in pushCall()
204 Environment Env(*this); in pushCall()
239 bool Environment::equivalentTo(const Environment &Other, in equivalentTo()
240 Environment::ValueModel &Model) const { in equivalentTo()
269 LatticeJoinEffect Environment::join(const Environment &Other, in join()
270 Environment::ValueModel &Model) { in join()
275 Environment JoinedEnv(*DACtx); in join()
323 StorageLocation &Environment::createStorageLocation(QualType Type) { in createStorageLocation()
327 StorageLocation &Environment::createStorageLocation(const VarDecl &D) { in createStorageLocation()
334 StorageLocation &Environment::createStorageLocation(const Expr &E) { in createStorageLocation()
341 void Environment::setStorageLocation(const ValueDecl &D, StorageLocation &Loc) { in setStorageLocation()
346 StorageLocation *Environment::getStorageLocation(const ValueDecl &D, in getStorageLocation()
352 void Environment::setStorageLocation(const Expr &E, StorageLocation &Loc) { in setStorageLocation()
358 StorageLocation *Environment::getStorageLocation(const Expr &E, in getStorageLocation()
365 StorageLocation *Environment::getThisPointeeStorageLocation() const { in getThisPointeeStorageLocation()
369 PointerValue &Environment::getOrCreateNullPointerValue(QualType PointeeType) { in getOrCreateNullPointerValue()
373 void Environment::setValue(const StorageLocation &Loc, Value &Val) { in setValue()
406 Value *Environment::getValue(const StorageLocation &Loc) const { in getValue()
411 Value *Environment::getValue(const ValueDecl &D, SkipPast SP) const { in getValue()
418 Value *Environment::getValue(const Expr &E, SkipPast SP) const { in getValue()
425 Value *Environment::createValue(QualType Type) { in createValue()
437 Value *Environment::createValueUnlessSelfReferential( in createValueUnlessSelfReferential()
517 StorageLocation &Environment::skip(StorageLocation &Loc, SkipPast SP) const { in skip()
536 const StorageLocation &Environment::skip(const StorageLocation &Loc, in skip()
541 void Environment::addToFlowCondition(BoolValue &Val) { in addToFlowCondition()
545 bool Environment::flowConditionImplies(BoolValue &Val) const { in flowConditionImplies()
549 void Environment::dump() const { in dump()