Searched refs:dataflow (Results 1 – 25 of 48) sorted by relevance
12
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | SmartPointerAccessorCaching.cpp | 10 namespace clang::dataflow { namespace
95 using clang::dataflow::findReturnType;
96 using clang::dataflow::getLikeReturnType;
97 using clang::dataflow::pointerLikeReturnType;
98 using clang::dataflow::valueLikeReturnType;
130 namespace clang::dataflow { namespace
|
| H A D | Value.cpp | 16 namespace dataflow { namespace
|
| H A D | DebugSupport.cpp | 23 namespace dataflow { namespace
|
| H A D | Formula.cpp | 17 namespace clang::dataflow { namespace
|
| H A D | TypeErasedDataflowAnalysis.cpp | 41 namespace dataflow { namespace
51 template struct CLANG_EXPORT_TEMPLATE Any::TypeId<clang::dataflow::NoopLattice>;
55 namespace dataflow { namespace
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowValues.h | 30 namespace dataflow {
40 typename _AnalysisDirTag = dataflow::forward_analysis_tag >
69 bool isForwardAnalysis(dataflow::forward_analysis_tag) { return true; } in isForwardAnalysis()
70 bool isForwardAnalysis(dataflow::backward_analysis_tag) { return false; } in isForwardAnalysis()
|
| H A D | CachedConstAccessorsLattice.h | 27 namespace dataflow {
160 clang::dataflow::internal::joinConstMethodMap<dataflow::Value>( in join()
164 clang::dataflow::internal::joinConstMethodMap<dataflow::StorageLocation>( in join()
|
| H A D | NoopLattice.h | 22 namespace dataflow {
49 Any::TypeId<clang::dataflow::NoopLattice>;
|
| H A D | MapLattice.h | 29 namespace dataflow {
117 const clang::dataflow::MapLattice<Key, ElementLattice> &M) {
130 const clang::dataflow::VarMapLattice<ElementLattice> &M) {
|
| H A D | DataflowLattice.h | 18 namespace dataflow {
|
| H A D | DebugSupport.h | 25 namespace dataflow {
|
| H A D | RecordOps.h | 20 namespace dataflow {
|
| H A D | WatchedLiteralsSolver.h | 22 namespace dataflow {
|
| H A D | Transfer.h | 23 namespace dataflow {
|
| H A D | Logger.h | 16 namespace clang::dataflow {
|
| H A D | Solver.h | 25 namespace dataflow {
|
| H A D | AdornedCFG.h | 29 namespace dataflow {
|
| H A D | TypeErasedDataflowAnalysis.h | 32 namespace dataflow {
|
| H A D | CFGMatchSwitch.h | 30 namespace dataflow {
|
| H A D | ASTOps.h | 26 namespace dataflow {
|
| H A D | CNFFormula.h | 22 namespace dataflow {
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.h | 29 namespace dataflow {
60 UncheckedOptionalAccessModel(ASTContext &Ctx, dataflow::Environment &Env);
|
| H A D | ChromiumCheckModel.h | 21 namespace dataflow {
|
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.cpp | 39 namespace dataflow { namespace
555 dataflow::RecordStorageLocation *RecordLoc, in handleConstMemberCall()
614 const CallExpr *CE, dataflow::RecordStorageLocation *RecordLoc, in handleConstMemberCallWithFallbacks()
628 MCE, dataflow::getImplicitObjectLocation(*MCE, State.Env), Result, State); in transferConstMemberCall()
634 auto *RecordLoc = cast_or_null<dataflow::RecordStorageLocation>( in transferConstMemberOperatorCall()
640 dataflow::RecordStorageLocation *RecordLoc, in handleNonConstMemberCall()
672 MCE, dataflow::getImplicitObjectLocation(*MCE, State.Env), Result, State); in transferValue_NonConstMemberCall()
678 auto *RecordLoc = cast_or_null<dataflow::RecordStorageLocation>( in transferValue_NonConstMemberOperatorCall()
|
| H A D | ChromiumCheckModel.cpp | 15 namespace dataflow { namespace
|
12