| OLD | NEW |
| 1 // Copyright (c) 2012 The Chromium Authors. All rights reserved. | 1 // Copyright (c) 2012 The Chromium Authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #include "FindBadConstructsConsumer.h" | 5 #include "FindBadConstructsConsumer.h" |
| 6 | 6 |
| 7 #include "clang/Frontend/CompilerInstance.h" | 7 #include "clang/Frontend/CompilerInstance.h" |
| 8 #include "clang/AST/Attr.h" | 8 #include "clang/AST/Attr.h" |
| 9 #include "clang/Lex/Lexer.h" | 9 #include "clang/Lex/Lexer.h" |
| 10 #include "llvm/Support/raw_ostream.h" | 10 #include "llvm/Support/raw_ostream.h" |
| (...skipping 85 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 96 record.getDescribedClassTemplate() || | 96 record.getDescribedClassTemplate() || |
| 97 record.getTemplateSpecializationKind() || | 97 record.getTemplateSpecializationKind() || |
| 98 record.isDependentType(); | 98 record.isDependentType(); |
| 99 } | 99 } |
| 100 | 100 |
| 101 } // namespace | 101 } // namespace |
| 102 | 102 |
| 103 FindBadConstructsConsumer::FindBadConstructsConsumer(CompilerInstance& instance, | 103 FindBadConstructsConsumer::FindBadConstructsConsumer(CompilerInstance& instance, |
| 104 const Options& options) | 104 const Options& options) |
| 105 : ChromeClassTester(instance, options) { | 105 : ChromeClassTester(instance, options) { |
| 106 if (options.check_ipc) { | |
| 107 ipc_visitor_.reset(new CheckIPCVisitor(instance)); | |
| 108 } | |
| 109 | |
| 110 // Messages for virtual method specifiers. | 106 // Messages for virtual method specifiers. |
| 111 diag_method_requires_override_ = | 107 diag_method_requires_override_ = |
| 112 diagnostic().getCustomDiagID(getErrorLevel(), kMethodRequiresOverride); | 108 diagnostic().getCustomDiagID(getErrorLevel(), kMethodRequiresOverride); |
| 113 diag_redundant_virtual_specifier_ = | 109 diag_redundant_virtual_specifier_ = |
| 114 diagnostic().getCustomDiagID(getErrorLevel(), kRedundantVirtualSpecifier); | 110 diagnostic().getCustomDiagID(getErrorLevel(), kRedundantVirtualSpecifier); |
| 115 diag_base_method_virtual_and_final_ = | 111 diag_base_method_virtual_and_final_ = |
| 116 diagnostic().getCustomDiagID(getErrorLevel(), kBaseMethodVirtualAndFinal); | 112 diagnostic().getCustomDiagID(getErrorLevel(), kBaseMethodVirtualAndFinal); |
| 117 | 113 |
| 118 // Messages for destructors. | 114 // Messages for destructors. |
| 119 diag_no_explicit_dtor_ = | 115 diag_no_explicit_dtor_ = |
| (...skipping 13 matching lines...) Expand all Loading... |
| 133 diag_note_inheritance_ = | 129 diag_note_inheritance_ = |
| 134 diagnostic().getCustomDiagID(DiagnosticsEngine::Note, kNoteInheritance); | 130 diagnostic().getCustomDiagID(DiagnosticsEngine::Note, kNoteInheritance); |
| 135 diag_note_implicit_dtor_ = | 131 diag_note_implicit_dtor_ = |
| 136 diagnostic().getCustomDiagID(DiagnosticsEngine::Note, kNoteImplicitDtor); | 132 diagnostic().getCustomDiagID(DiagnosticsEngine::Note, kNoteImplicitDtor); |
| 137 diag_note_public_dtor_ = | 133 diag_note_public_dtor_ = |
| 138 diagnostic().getCustomDiagID(DiagnosticsEngine::Note, kNotePublicDtor); | 134 diagnostic().getCustomDiagID(DiagnosticsEngine::Note, kNotePublicDtor); |
| 139 diag_note_protected_non_virtual_dtor_ = diagnostic().getCustomDiagID( | 135 diag_note_protected_non_virtual_dtor_ = diagnostic().getCustomDiagID( |
| 140 DiagnosticsEngine::Note, kNoteProtectedNonVirtualDtor); | 136 DiagnosticsEngine::Note, kNoteProtectedNonVirtualDtor); |
| 141 } | 137 } |
| 142 | 138 |
| 143 void FindBadConstructsConsumer::Traverse(ASTContext& context) { | |
| 144 if (ipc_visitor_) ipc_visitor_->set_context(&context); | |
| 145 RecursiveASTVisitor::TraverseDecl(context.getTranslationUnitDecl()); | |
| 146 if (ipc_visitor_) ipc_visitor_->set_context(nullptr); | |
| 147 } | |
| 148 | |
| 149 bool FindBadConstructsConsumer::shouldVisitTemplateInstantiations() const { | |
| 150 return RecursiveASTVisitor::shouldVisitTemplateInstantiations() || | |
| 151 (ipc_visitor_ && ipc_visitor_->should_visit_template_instantiations()); | |
| 152 } | |
| 153 | |
| 154 bool FindBadConstructsConsumer::TraverseDecl(Decl* decl) { | |
| 155 if (ipc_visitor_) ipc_visitor_->BeginDecl(decl); | |
| 156 bool result = RecursiveASTVisitor::TraverseDecl(decl); | |
| 157 if (ipc_visitor_) ipc_visitor_->EndDecl(); | |
| 158 return result; | |
| 159 } | |
| 160 | |
| 161 bool FindBadConstructsConsumer::VisitDecl(clang::Decl* decl) { | 139 bool FindBadConstructsConsumer::VisitDecl(clang::Decl* decl) { |
| 162 clang::TagDecl* tag_decl = dyn_cast<clang::TagDecl>(decl); | 140 clang::TagDecl* tag_decl = dyn_cast<clang::TagDecl>(decl); |
| 163 if (tag_decl && tag_decl->isCompleteDefinition()) | 141 if (tag_decl && tag_decl->isCompleteDefinition()) |
| 164 CheckTag(tag_decl); | 142 CheckTag(tag_decl); |
| 165 return true; | 143 return true; |
| 166 } | 144 } |
| 167 | 145 |
| 168 bool FindBadConstructsConsumer::VisitTemplateSpecializationType( | |
| 169 TemplateSpecializationType* spec) { | |
| 170 if (ipc_visitor_) ipc_visitor_->VisitTemplateSpecializationType(spec); | |
| 171 return true; | |
| 172 } | |
| 173 | |
| 174 bool FindBadConstructsConsumer::VisitCallExpr(CallExpr* call_expr) { | |
| 175 if (ipc_visitor_) ipc_visitor_->VisitCallExpr(call_expr); | |
| 176 return true; | |
| 177 } | |
| 178 | |
| 179 void FindBadConstructsConsumer::CheckChromeClass(SourceLocation record_location, | 146 void FindBadConstructsConsumer::CheckChromeClass(SourceLocation record_location, |
| 180 CXXRecordDecl* record) { | 147 CXXRecordDecl* record) { |
| 181 // By default, the clang checker doesn't check some types (templates, etc). | 148 // By default, the clang checker doesn't check some types (templates, etc). |
| 182 // That was only a mistake; once Chromium code passes these checks, we should | 149 // That was only a mistake; once Chromium code passes these checks, we should |
| 183 // remove the "check-templates" option and remove this code. | 150 // remove the "check-templates" option and remove this code. |
| 184 // See crbug.com/441916 | 151 // See crbug.com/441916 |
| 185 if (!options_.check_templates && IsPodOrTemplateType(*record)) | 152 if (!options_.check_templates && IsPodOrTemplateType(*record)) |
| 186 return; | 153 return; |
| 187 | 154 |
| 188 bool implementation_file = InImplementationFile(record_location); | 155 bool implementation_file = InImplementationFile(record_location); |
| (...skipping 714 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 903 // one of those, it means there is at least one member after a factory. | 870 // one of those, it means there is at least one member after a factory. |
| 904 if (weak_ptr_factory_location.isValid() && | 871 if (weak_ptr_factory_location.isValid() && |
| 905 !param_is_weak_ptr_factory_to_self) { | 872 !param_is_weak_ptr_factory_to_self) { |
| 906 diagnostic().Report(weak_ptr_factory_location, | 873 diagnostic().Report(weak_ptr_factory_location, |
| 907 diag_weak_ptr_factory_order_); | 874 diag_weak_ptr_factory_order_); |
| 908 } | 875 } |
| 909 } | 876 } |
| 910 } | 877 } |
| 911 | 878 |
| 912 } // namespace chrome_checker | 879 } // namespace chrome_checker |
| OLD | NEW |