reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
 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);