Searched refs:setTrait (Results 1 – 7 of 7) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | LoopWidening.cpp | 47 ITraits.setTrait(Region, in getWidenedLoopState() 60 ITraits.setTrait(VarMem, in getWidenedLoopState() 73 ITraits.setTrait(ThisR, in getWidenedLoopState()
|
| H A D | CallEvent.cpp | 256 ETraits.setTrait(MR->getBaseRegion(), in invalidateRegions() 740 ETraits->setTrait(ThisRegion->getBaseRegion(), in getExtraInvalidatedValues() 942 ETraits->setTrait(Sym, in getExtraInvalidatedValues() 948 ETraits->setTrait( in getExtraInvalidatedValues() 1009 ETraits->setTrait( in getExtraInvalidatedValues() 1012 ETraits->setTrait( in getExtraInvalidatedValues()
|
| H A D | MemRegion.cpp | 1837 void RegionAndSymbolInvalidationTraits::setTrait(SymbolRef Sym, in setTrait() function in RegionAndSymbolInvalidationTraits 1842 void RegionAndSymbolInvalidationTraits::setTrait(const MemRegion *MR, in setTrait() function in RegionAndSymbolInvalidationTraits 1846 setTrait(SR->getSymbol(), IK); in setTrait()
|
| H A D | ExprEngineCallAndReturn.cpp | 785 ITraits.setTrait(TargetR, in bindReturnValue()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1222 ITraits.setTrait( in invalidateDestinationBufferBySize() 1248 ITraits.setTrait( in invalidateDestinationBufferNeverOverflows() 1263 ITraits.setTrait( in invalidateSourceBuffer() 1266 ITraits.setTrait(R, in invalidateSourceBuffer()
|
| H A D | StreamChecker.cpp | 858 ITraits.setTrait(Element, DoNotInvalidateSuperRegion); in escapeByStartIndexAndCount()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 1688 void setTrait(SymbolRef Sym, InvalidationKinds IK); 1689 void setTrait(const MemRegion *MR, InvalidationKinds IK);
|