Searched refs:SubstitutionsCache (Results 1 – 2 of 2) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysisContext.cpp | 252 llvm::DenseMap<BoolValue *, BoolValue *> &SubstitutionsCache) { in substituteBoolValue() argument
253 auto It = SubstitutionsCache.find(&Val); in substituteBoolValue()
254 if (It != SubstitutionsCache.end()) { in substituteBoolValue()
269 auto &Sub = substituteBoolValue(Negation.getSubVal(), SubstitutionsCache); in substituteBoolValue()
276 substituteBoolValue(Disjunct.getLeftSubValue(), SubstitutionsCache); in substituteBoolValue()
278 substituteBoolValue(Disjunct.getRightSubValue(), SubstitutionsCache); in substituteBoolValue()
285 substituteBoolValue(Conjunct.getLeftSubValue(), SubstitutionsCache); in substituteBoolValue()
287 substituteBoolValue(Conjunct.getRightSubValue(), SubstitutionsCache); in substituteBoolValue()
294 substituteBoolValue(IV.getLeftSubValue(), SubstitutionsCache); in substituteBoolValue()
296 substituteBoolValue(IV.getRightSubValue(), SubstitutionsCache); in substituteBoolValue()
[all …]
|
| /openbsd-src/gnu/llvm/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysisContext.h | 324 llvm::DenseMap<BoolValue *, BoolValue *> &SubstitutionsCache);
333 llvm::DenseMap<BoolValue *, BoolValue *> &SubstitutionsCache);
|