reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1070 ITraits.hasTrait(baseR, 1079 B = B.remove(baseR); 1082 if (const auto *TO = dyn_cast<TypedValueRegion>(baseR)) { 1110 if (const BlockDataRegion *BR = dyn_cast<BlockDataRegion>(baseR)) { 1136 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) 1145 Regions->push_back(baseR); 1147 if (isa<AllocaRegion>(baseR) || isa<SymbolicRegion>(baseR)) { 1147 if (isa<AllocaRegion>(baseR) || isa<SymbolicRegion>(baseR)) { 1151 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count); 1152 B = B.addBinding(baseR, BindingKey::Default, V); 1156 if (!baseR->isBoundable()) 1159 const TypedValueRegion *TR = cast<TypedValueRegion>(baseR); 1162 if (isInitiallyIncludedGlobalRegion(baseR)) { 1172 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1174 B = B.addBinding(baseR, BindingKey::Default, V); 1180 baseR, 1195 const RegionOffset &RO = baseR->getAsOffset(); 1196 const MemRegion *SuperR = baseR->getBaseRegion(); 1244 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1246 B = B.addBinding(baseR, BindingKey::Default, V); 1250 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1253 B = B.addBinding(baseR, BindingKey::Direct, V);