Searched defs:svalBuilder (Results 1 - 13 of 13) sorted by relevance

/freebsd-10.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp67 SValBuilder& svalBuilder = C.getSValBuilder(); local
H A DBoolAssignmentChecker.cpp80 SValBuilder &svalBuilder = C.getSValBuilder(); local
H A DVLASizeChecker.cpp131 SValBuilder &svalBuilder = C.getSValBuilder(); local
H A DArrayBoundCheckerV2.cpp68 static SVal computeExtentBegin(SValBuilder &svalBuilder, argument
100 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); local
236 getValue(SVal val, SValBuilder &svalBuilder) argument
252 addValue(ProgramStateRef state, SVal x, SVal y, SValBuilder &svalBuilder) argument
266 computeOffset(ProgramStateRef state, SValBuilder &svalBuilder, SVal location) argument
[all...]
H A DStreamChecker.cpp211 SValBuilder &svalBuilder = C.getSValBuilder(); local
H A DCStringChecker.cpp281 SValBuilder &svalBuilder = C.getSValBuilder(); local
667 SValBuilder &svalBuilder = C.getSValBuilder(); local
739 SValBuilder &svalBuilder = C.getSValBuilder(); local
1061 SValBuilder &svalBuilder = C.getSValBuilder(); local
1711 SValBuilder &svalBuilder = C.getSValBuilder(); local
[all...]
H A DMallocChecker.cpp755 SValBuilder &svalBuilder = C.getSValBuilder(); local
775 SValBuilder &svalBuilder = C.getSValBuilder(); local
1432 SValBuilder &svalBuilder = C.getSValBuilder(); local
1525 SValBuilder &svalBuilder = C.getSValBuilder(); local
[all...]
/freebsd-10.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp195 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, argument
H A DProgramState.cpp316 SValBuilder &svalBuilder = SM.getSValBuilder(); local
H A DRegionStore.cpp657 SValBuilder &svalBuilder; member in class:__anon3649::ClusterAnalysis
[all...]
/freebsd-10.3-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h76 SValBuilder &svalBuilder; member in class:clang::ento::ExprEngine
H A DStore.h42 SValBuilder &svalBuilder; member in class:clang::ento::StoreManager
H A DProgramState.h457 OwningPtr<SValBuilder> svalBuilder; member in class:clang::ento::ProgramStateManager
[all...]

Completed in 204 milliseconds