| allows(const Formula &) const | clang::dataflow::Environment | |
| arena() const | clang::dataflow::Environment | inline |
| assume(const Formula &) | clang::dataflow::Environment | |
| callStackSize() const | clang::dataflow::Environment | inline |
| canDescend(unsigned MaxDepth, const FunctionDecl *Callee) const | clang::dataflow::Environment | |
| clearValue(const StorageLocation &Loc) | clang::dataflow::Environment | inline |
| create(Args &&...args) | clang::dataflow::Environment | inline |
| createObject(QualType Ty, const Expr *InitExpr=nullptr) | clang::dataflow::Environment | inline |
| createObject(const VarDecl &D) | clang::dataflow::Environment | inline |
| createObject(const ValueDecl &D, const Expr *InitExpr) | clang::dataflow::Environment | inline |
| createStorageLocation(QualType Type) | clang::dataflow::Environment | |
| createStorageLocation(const ValueDecl &D) | clang::dataflow::Environment | |
| createStorageLocation(const Expr &E) | clang::dataflow::Environment | |
| createValue(QualType Type) | clang::dataflow::Environment | |
| DiscardExprState enum value | clang::dataflow::Environment | |
| dump() const | clang::dataflow::Environment | |
| dump(raw_ostream &OS) const | clang::dataflow::Environment | |
| Environment(DataflowAnalysisContext &DACtx) | clang::dataflow::Environment | inlineexplicit |
| Environment(DataflowAnalysisContext &DACtx, Stmt &S) | clang::dataflow::Environment | inline |
| Environment(DataflowAnalysisContext &DACtx, const FunctionDecl &FD) | clang::dataflow::Environment | inline |
| Environment(Environment &&Other)=default | clang::dataflow::Environment | |
| equivalentTo(const Environment &Other, Environment::ValueModel &Model) const | clang::dataflow::Environment | |
| ExprJoinBehavior enum name | clang::dataflow::Environment | |
| fork() const | clang::dataflow::Environment | |
| get(const ValueDecl &D) const | clang::dataflow::Environment | inline |
| get(const Expr &E) const | clang::dataflow::Environment | inline |
| get(const StorageLocation &Loc) const | clang::dataflow::Environment | inline |
| get(const ValueDecl &D) const | clang::dataflow::Environment | inline |
| get(const Expr &E) const | clang::dataflow::Environment | inline |
| getBoolLiteralValue(bool Value) const | clang::dataflow::Environment | inline |
| getCurrentFunc() const | clang::dataflow::Environment | inline |
| getDataflowAnalysisContext() const | clang::dataflow::Environment | inline |
| getFlowConditionToken() const | clang::dataflow::Environment | inline |
| getIntLiteralValue(llvm::APInt Value) const | clang::dataflow::Environment | inline |
| getOrCreateNullPointerValue(QualType PointeeType) | clang::dataflow::Environment | |
| getResultObjectLocation(const Expr &RecordPRValue) const | clang::dataflow::Environment | |
| getReturnStorageLocation() const | clang::dataflow::Environment | inline |
| getReturnValue() const | clang::dataflow::Environment | inline |
| getStorageLocation(const ValueDecl &D) const | clang::dataflow::Environment | |
| getStorageLocation(const Expr &E) const | clang::dataflow::Environment | |
| getThisPointeeStorageLocation() const | clang::dataflow::Environment | inline |
| getValue(const StorageLocation &Loc) const | clang::dataflow::Environment | |
| getValue(const ValueDecl &D) const | clang::dataflow::Environment | |
| getValue(const Expr &E) const | clang::dataflow::Environment | |
| initialize() | clang::dataflow::Environment | |
| initializeFieldsWithValues(RecordStorageLocation &Loc, QualType Type) | clang::dataflow::Environment | |
| initializeFieldsWithValues(RecordStorageLocation &Loc) | clang::dataflow::Environment | inline |
| join(const Environment &EnvA, const Environment &EnvB, Environment::ValueModel &Model, ExprJoinBehavior ExprBehavior) | clang::dataflow::Environment | static |
| joinValues(QualType Ty, Value *Val1, const Environment &Env1, Value *Val2, const Environment &Env2, Environment &JoinedEnv, Environment::ValueModel &Model) | clang::dataflow::Environment | static |
| KeepExprState enum value | clang::dataflow::Environment | |
| makeAnd(BoolValue &LHS, BoolValue &RHS) const | clang::dataflow::Environment | inline |
| makeAtomicBoolValue() const | clang::dataflow::Environment | inline |
| makeIff(BoolValue &LHS, BoolValue &RHS) const | clang::dataflow::Environment | inline |
| makeImplication(BoolValue &LHS, BoolValue &RHS) const | clang::dataflow::Environment | inline |
| makeNot(BoolValue &Val) const | clang::dataflow::Environment | inline |
| makeOr(BoolValue &LHS, BoolValue &RHS) const | clang::dataflow::Environment | inline |
| makeTopBoolValue() const | clang::dataflow::Environment | inline |
| operator=(const Environment &Other)=delete | clang::dataflow::Environment | |
| operator=(Environment &&Other)=default | clang::dataflow::Environment | |
| popCall(const CallExpr *Call, const Environment &CalleeEnv) | clang::dataflow::Environment | |
| popCall(const CXXConstructExpr *Call, const Environment &CalleeEnv) | clang::dataflow::Environment | |
| proves(const Formula &) const | clang::dataflow::Environment | |
| pushCall(const CallExpr *Call) const | clang::dataflow::Environment | |
| pushCall(const CXXConstructExpr *Call) const | clang::dataflow::Environment | |
| removeDecl(const ValueDecl &D) | clang::dataflow::Environment | |
| setReturnStorageLocation(StorageLocation *Loc) | clang::dataflow::Environment | inline |
| setReturnValue(Value *Val) | clang::dataflow::Environment | inline |
| setStorageLocation(const ValueDecl &D, StorageLocation &Loc) | clang::dataflow::Environment | |
| setStorageLocation(const Expr &E, StorageLocation &Loc) | clang::dataflow::Environment | |
| setThisPointeeStorageLocation(RecordStorageLocation &Loc) | clang::dataflow::Environment | inline |
| setValue(const StorageLocation &Loc, Value &Val) | clang::dataflow::Environment | |
| setValue(const Expr &E, Value &Val) | clang::dataflow::Environment | |
| widen(const Environment &PrevEnv, Environment::ValueModel &Model) | clang::dataflow::Environment | |
