Searched refs:ExprToVal (Results 1 – 2 of 2) sorted by relevance
| /llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.cpp | 62 // Performs a join on either `ExprToLoc` or `ExprToVal`.
262 // Perform widening on either `LocToVal` or `ExprToVal`. `Key` must be either
672 // - `DeclToLoc`, `ExprToLoc`, and `ExprToVal` capture information from the in popCall()
716 if (!compareKeyToValueMaps(ExprToVal, Other.ExprToVal, *this, Other, Model)) in widen()
742 // block. For `DeclToLoc`, `ExprToVal`, and `ExprToLoc`, join guarantees that in widen()
746 assert(ExprToVal.size() <= PrevEnv.ExprToVal.size()); in join()
749 ExprToVal = widenKeyToValueMap(ExprToVal, PrevEn in join()
[all...] |
| /llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 806 llvm::MapVector<const Expr *, Value *> ExprToVal; variable
|