|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
Overridden By
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h 278 QualType getType() const override { return ToTy; }
320 QualType getType() const override { return T; }
tools/clang/lib/StaticAnalyzer/Core/SymbolManager.cpp 323 QualType SymbolConjured::getType() const {
327 QualType SymbolDerived::getType() const {
331 QualType SymbolExtent::getType() const {
336 QualType SymbolMetadata::getType() const {
340 QualType SymbolRegionValue::getType() const {
References
tools/clang/include/clang/StaticAnalyzer/Checkers/SValExplainer.h 146 if (R->getSymbol()->getType()
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h 774 assert(s->getType()->isAnyPointerType() ||
775 s->getType()->isReferenceType() ||
776 s->getType()->isBlockPointerType());
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h 114 QualType Ty = Sym->getType();
253 QualType Ty = Sym->getType();
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h 423 *RetTy = Sym->getType();
425 return fromData(Solver, SD->getSymbolID(), Sym->getType(),
426 Ctx.getTypeSize(Sym->getType()));
431 *RetTy = Sym->getType();
442 return getCastExpr(Solver, Ctx, Exp, FromTy, Sym->getType());
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h 94 return haveSameType(Sym1->getType(), Sym2->getType());
94 return haveSameType(Sym1->getType(), Sym2->getType());
373 if (Loc::isLocType(Sym->getType()))
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h 354 assert(!Loc::isLocType(sym->getType()));
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h 533 return SE->getType();
tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp 931 SvalBuilder.makeIntVal(0, (*CountS)->getType()),
tools/clang/lib/StaticAnalyzer/Checkers/DeleteWithNonVirtualDtorChecker.cpp 75 DerivedClassRegion->getSymbol()->getType()->getPointeeCXXRecordDecl();
tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp 2108 QualType T = Sym->getType();
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp 1872 if (SymBase->getType()->isFunctionPointerType()) {
tools/clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp 266 if (Sym->getType()->isRValueReferenceType())
tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp 1076 ValNullability = getNullabilityAnnotation(Sym->getType());
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp 299 QualType Ty = Sym->getType();
851 if (Sym->getType()->getPointeeCXXRecordDecl())
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp 265 << Sym->getType().getAsString() << "' with a ";
267 os << "an OSObject of type '" << findAllocatedObjectName(S, Sym->getType())
270 os << "an object of type '" << Sym->getType().getAsString()
274 QualType T = Sym->getType();
752 os << "allocated object of type '" << getPrettyTypeName(Sym->getType())
901 os << " of type '" << getPrettyTypeName(Sym->getType()) << "'";
tools/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp 2043 if (SR->getSymbol()->getType()->getPointeeType()->isVoidType())
tools/clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp 34 QualType Ty = Sym->getType();
tools/clang/lib/StaticAnalyzer/Core/DynamicType.cpp 53 return DynamicTypeInfo(Sym->getType());
tools/clang/lib/StaticAnalyzer/Core/MemRegion.cpp 1353 Ty = SR->getSymbol()->getType()->getPointeeType();
tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp 370 if (Loc::isLocType(SSE->getLHS()->getType())) {
371 return Loc::isLocType(SSE->getRHS()->getType());
395 APSIntType IntType = BV.getAPSIntType(Sym->getType());
438 APSIntType IntType = BV.getAPSIntType(Sym->getType());
500 QualType T = Sym->getType();
525 QualType T = Sym->getType();
tools/clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp 54 if (Loc::isLocType(SSE->getLHS()->getType()) &&
55 Loc::isLocType(SSE->getRHS()->getType())) {
78 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType());
105 QualType T = Sym->getType();
139 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType());
tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp 1475 T = SR->getSymbol()->getType()->getPointeeType();
1579 RegionTy = SR->getSymbol()->getType();
2189 QualType T = SR->getSymbol()->getType();
tools/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp 544 return makeNonLoc(Sym, BO_NE, BVF.getValue(0, Sym->getType()), castTy);
tools/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp 90 QualType T = Context.getCanonicalType(se->getType());
292 QualType SymbolType = LHS->getType();
335 QualType T = Sym->getType();
365 return std::make_pair(Sym, BV.getValue(0, Sym->getType()));
379 QualType SymTy = LSym->getType();
380 assert(SymTy == RSym->getType() &&
440 return Sym->getType() == Ty &&
469 SingleTy = LSym->getType();
475 if (LSym->getType() != SingleTy)
489 if (!RSym || RSym->getType() != SingleTy)
580 BasicVals.getAPSIntType(lSym->getType()).apply(i);
1265 return Loc::isLocType(S->getType()) ? (SVal)SVB.makeIntLocVal(*I)
1287 if (Loc::isLocType(S->getLHS()->getType()) &&
1293 assert(Loc::isLocType(Sym->getType()));
1314 if (Loc::isLocType(S->getLHS()->getType()) !=
1315 Loc::isLocType(S->getRHS()->getType()))
tools/clang/lib/StaticAnalyzer/Core/Store.cpp 288 if (SR->getSymbol()->getType()->getPointeeCXXRecordDecl() == BaseDecl)
310 return SR->getSymbol()->getType()->getPointeeCXXRecordDecl();
383 QualType T = SR->getSymbol()->getType();
411 if (Sym && !Sym->getType()->isFloatingType())
425 if (SR->getSymbol()->getType().getCanonicalType() !=