| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SimpleConstraintManager.h | 25 SValBuilder &SVB; member in class:clang::ento::SimpleConstraintManager
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CXXSelfAssignmentChecker.cpp | 48 auto &SVB = C.getSValBuilder(); local
|
| H A D | BuiltinFunctionChecker.cpp | 108 SValBuilder &SVB = C.getSValBuilder(); local
|
| H A D | EnumCastOutOfRangeChecker.cpp | 37 SValBuilder &SVB; member in class:__anon790::ConstraintBasedEQEvaluator
|
| H A D | VirtualCallChecker.cpp | 173 auto &SVB = C.getSValBuilder(); local
|
| H A D | Iterator.cpp | 188 auto &SVB = State->getStateManager().getSValBuilder(); local
214 auto &SVB = State->getStateManager().getSValBuilder(); local
|
| H A D | StdLibraryFunctionsChecker.cpp | 243 SValBuilder &SVB = Mgr.getSValBuilder(); local
271 SValBuilder &SVB = Mgr.getSValBuilder(); local
322 SValBuilder &SVB = Mgr.getSValBuilder(); local
[all...] |
| H A D | IteratorModeling.cpp | 763 auto &SVB = C.getSValBuilder(); local
860 auto &SVB = C.getSValBuilder(); local
887 auto &SVB = C.getSValBuilder(); local
930 auto &SVB = C.getSValBuilder(); local
965 auto &SVB = C.getSValBuilder(); local
1072 auto &SVB = C.getSValBuilder(); local
1393 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
1427 auto &SVB = State->getStateManager().getSValBuilder(); local
1599 rebaseSymbolInIteratorPositionsIf( ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym, SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc) argument
1615 rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef OrigExpr, SymbolRef OldExpr, SymbolRef NewSym) argument
[all...] |
| H A D | CStringChecker.cpp | 2152 SValBuilder &SVB = C.getSValBuilder(); local
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleConstraintManager.cpp | 30 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
|
| H A D | RangeConstraintManager.cpp | 243 RangeConstraintManager(SubEngine *SE, SValBuilder &SVB) argument
|
| H A D | ExprEngineCXX.cpp | 100 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
115 SValBuilder &SVB = getSValBuilder(); local
|
| H A D | SimpleSValBuilder.cpp | 315 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
332 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
375 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
450 SValBuilder &SVB = StateMgr.getSValBuilder(); local
774 evalBinOpFieldRegionFieldRegion(const FieldRegion *LeftFR, const FieldRegion *RightFR, BinaryOperator::Opcode op, QualType resultTy, SimpleSValBuilder &SVB) argument
1236 SValBuilder &SVB; member in class:Simplifier
[all...] |
| H A D | CallEvent.cpp | 596 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local
797 SValBuilder &SVB = StateMgr.getSValBuilder(); local
871 SValBuilder &SVB local
505 addParameterValuesToBindings(const StackFrameContext *CalleeCtx, CallEvent::BindingsTy &Bindings, SValBuilder &SVB, const CallEvent &Call, ArrayRef<ParmVarDecl*> parameters) argument
916 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local
1348 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); local
1399 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
1415 SValBuilder &SVB = State->getStateManager().getSValBuilder(); local
[all...] |
| H A D | RegionStore.cpp | 1592 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B, argument
866 collectSubRegionBindings(SmallVectorImpl<BindingPair> &Bindings, SValBuilder &SVB, const ClusterBindings &Cluster, const SubRegion *Top, BindingKey TopKey, bool IncludeAllDefaultBindings) argument
938 collectSubRegionBindings(SmallVectorImpl<BindingPair> &Bindings, SValBuilder &SVB, const ClusterBindings &Cluster, const SubRegion *Top, bool IncludeAllDefaultBindings) argument
|
| H A D | ExprEngine.cpp | 873 SValBuilder &SVB = getSValBuilder(); local
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 934 SValBuilder &SVB = C.getSValBuilder(); local
|