Searched refs:ValInfo (Results 1 – 5 of 5) sorted by relevance
65 using value_type = typename ValInfo::value_type;67 using key_type = typename ValInfo::key_type;68 using key_type_ref = typename ValInfo::key_type_ref;69 using data_type = typename ValInfo::data_type;70 using data_type_ref = typename ValInfo::data_type_ref;71 using TreeTy = ImutAVLTree<ValInfo>;257 typename ValInfo = ImutKeyValueInfo<KeyT,ValT>>260 using value_type = typename ValInfo::value_type;262 using key_type = typename ValInfo::key_type;264 using data_type = typename ValInfo::data_type;[all …]
958 template <typename ValT, typename ValInfo = ImutContainerInfo<ValT>>961 using value_type = typename ValInfo::value_type;962 using value_type_ref = typename ValInfo::value_type_ref;963 using TreeTy = ImutAVLTree<ValInfo>;1110 template <typename ValT, typename ValInfo = ImutContainerInfo<ValT>>1113 using value_type = typename ValInfo::value_type;1114 using value_type_ref = typename ValInfo::value_type_ref;1115 using TreeTy = ImutAVLTree<ValInfo>;
516 auto *ValInfo = Result.PInfo; in materializeStack() local522 if (isa<PredicateWithEdge>(ValInfo)) { in materializeStack()523 IRBuilder<> B(getBranchTerminator(ValInfo)); in materializeStack()529 PredicateMap.insert({PIC, ValInfo}); in materializeStack()532 auto *PAssume = dyn_cast<PredicateAssume>(ValInfo); in materializeStack()540 PredicateMap.insert({PIC, ValInfo}); in materializeStack()
116 auto &ValInfo = ValueImpls[N.Val]; variable117 auto Changed = ValInfo.addNodeToLevel(N.DerefLevel);118 ValInfo.getNodeInfoAtLevel(N.DerefLevel).Attr |= Attr;
9129 ComparisonCategoryInfo::ValueInfo *ValInfo = Info->lookupValueInfo(CCR); in CheckComparisonCategoryType() local9131 if (!ValInfo) in CheckComparisonCategoryType()9134 VarDecl *VD = ValInfo->VD; in CheckComparisonCategoryType()9147 if (!ValInfo->hasValidIntValue()) in CheckComparisonCategoryType()