Showing content from https://clang.llvm.org/doxygen/DataflowEnvironment_8cpp.html below:
clang: lib/Analysis/FlowSensitive/DataflowEnvironment.cpp File Reference
static llvm::DenseMap< const ValueDecl *, StorageLocation * > clang::dataflow::intersectDeclToLoc (const llvm::DenseMap< const ValueDecl *, StorageLocation * > &DeclToLoc1, const llvm::DenseMap< const ValueDecl *, StorageLocation * > &DeclToLoc2) Returns a map consisting of key-value entries that are present in both maps.
template<typename MapT > static MapT clang::dataflow::joinExprMaps (const MapT &Map1, const MapT &Map2) static bool clang::dataflow::equateUnknownValues (Value::Kind K) static bool clang::dataflow::compareDistinctValues (QualType Type, Value &Val1, const Environment &Env1, Value &Val2, const Environment &Env2, Environment::ValueModel &Model) static Value * clang::dataflow::joinDistinctValues (QualType Type, Value &Val1, const Environment &Env1, Value &Val2, const Environment &Env2, Environment &JoinedEnv, Environment::ValueModel &Model) Attempts to join distinct values Val1 and Val2 in Env1 and Env2, respectively, of the same type Type.
static WidenResult clang::dataflow::widenDistinctValues (QualType Type, Value &Prev, const Environment &PrevEnv, Value &Current, Environment &CurrentEnv, Environment::ValueModel &Model) template<typename Key > static bool clang::dataflow::compareKeyToValueMaps (const llvm::MapVector< Key, Value * > &Map1, const llvm::MapVector< Key, Value * > &Map2, const Environment &Env1, const Environment &Env2, Environment::ValueModel &Model) static llvm::MapVector< const StorageLocation *, Value * > clang::dataflow::joinLocToVal (const llvm::MapVector< const StorageLocation *, Value * > &LocToVal, const llvm::MapVector< const StorageLocation *, Value * > &LocToVal2, const Environment &Env1, const Environment &Env2, Environment &JoinedEnv, Environment::ValueModel &Model) template<typename Key > static llvm::MapVector< Key, Value * > clang::dataflow::widenKeyToValueMap (const llvm::MapVector< Key, Value * > &CurMap, const llvm::MapVector< Key, Value * > &PrevMap, Environment &CurEnv, const Environment &PrevEnv, Environment::ValueModel &Model, LatticeEffect &Effect) RecordStorageLocation * clang::dataflow::getImplicitObjectLocation (const CXXMemberCallExpr &MCE, const Environment &Env) Returns the storage location for the implicit object of a CXXMemberCallExpr, or null if none is defined in the environment.
RecordStorageLocation * clang::dataflow::getBaseObjectLocation (const MemberExpr &ME, const Environment &Env) Returns the storage location for the base object of a MemberExpr, or null if none is defined in the environment.
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4