Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(144)

Side by Side Diff: tools/clang/plugins/FindBadConstructsConsumer.cpp

Issue 1841863002: Update monet. (Closed) Base URL: https://github.com/domokit/monet.git@master
Patch Set: Created 4 years, 8 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « tools/clang/plugins/FindBadConstructsConsumer.h ('k') | tools/clang/plugins/Options.h » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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 601 matching lines...) Expand 10 before | Expand all | Expand 10 after
612 break; 612 break;
613 } 613 }
614 } 614 }
615 } 615 }
616 616
617 // Check |record| for issues that are problematic for ref-counted types. 617 // Check |record| for issues that are problematic for ref-counted types.
618 // Note that |record| may not be a ref-counted type, but a base class for 618 // Note that |record| may not be a ref-counted type, but a base class for
619 // a type that is. 619 // a type that is.
620 // If there are issues, update |loc| with the SourceLocation of the issue 620 // If there are issues, update |loc| with the SourceLocation of the issue
621 // and returns appropriately, or returns None if there are no issues. 621 // and returns appropriately, or returns None if there are no issues.
622 // static
622 FindBadConstructsConsumer::RefcountIssue 623 FindBadConstructsConsumer::RefcountIssue
623 FindBadConstructsConsumer::CheckRecordForRefcountIssue( 624 FindBadConstructsConsumer::CheckRecordForRefcountIssue(
624 const CXXRecordDecl* record, 625 const CXXRecordDecl* record,
625 SourceLocation& loc) { 626 SourceLocation& loc) {
626 if (!record->hasUserDeclaredDestructor()) { 627 if (!record->hasUserDeclaredDestructor()) {
627 loc = record->getLocation(); 628 loc = record->getLocation();
628 return ImplicitDestructor; 629 return ImplicitDestructor;
629 } 630 }
630 631
631 if (CXXDestructorDecl* dtor = record->getDestructor()) { 632 if (CXXDestructorDecl* dtor = record->getDestructor()) {
632 if (dtor->getAccess() == AS_public) { 633 if (dtor->getAccess() == AS_public) {
633 loc = dtor->getInnerLocStart(); 634 loc = dtor->getInnerLocStart();
634 return PublicDestructor; 635 return PublicDestructor;
635 } 636 }
636 } 637 }
637 638
638 return None; 639 return None;
639 } 640 }
640 641
641 // Returns true if |base| specifies one of the Chromium reference counted 642 // Returns true if |base| specifies one of the Chromium reference counted
642 // classes (base::RefCounted / base::RefCountedThreadSafe). 643 // classes (base::RefCounted / base::RefCountedThreadSafe).
643 bool FindBadConstructsConsumer::IsRefCountedCallback( 644 bool FindBadConstructsConsumer::IsRefCounted(
644 const CXXBaseSpecifier* base, 645 const CXXBaseSpecifier* base,
645 CXXBasePath& path, 646 CXXBasePath& path) {
646 void* user_data) { 647 FindBadConstructsConsumer* self = this;
647 FindBadConstructsConsumer* self =
648 static_cast<FindBadConstructsConsumer*>(user_data);
649
650 const TemplateSpecializationType* base_type = 648 const TemplateSpecializationType* base_type =
651 dyn_cast<TemplateSpecializationType>( 649 dyn_cast<TemplateSpecializationType>(
652 UnwrapType(base->getType().getTypePtr())); 650 UnwrapType(base->getType().getTypePtr()));
653 if (!base_type) { 651 if (!base_type) {
654 // Base-most definition is not a template, so this cannot derive from 652 // Base-most definition is not a template, so this cannot derive from
655 // base::RefCounted. However, it may still be possible to use with a 653 // base::RefCounted. However, it may still be possible to use with a
656 // scoped_refptr<> and support ref-counting, so this is not a perfect 654 // scoped_refptr<> and support ref-counting, so this is not a perfect
657 // guarantee of safety. 655 // guarantee of safety.
658 return false; 656 return false;
659 } 657 }
660 658
661 TemplateName name = base_type->getTemplateName(); 659 TemplateName name = base_type->getTemplateName();
662 if (TemplateDecl* decl = name.getAsTemplateDecl()) { 660 if (TemplateDecl* decl = name.getAsTemplateDecl()) {
663 std::string base_name = decl->getNameAsString(); 661 std::string base_name = decl->getNameAsString();
664 662
665 // Check for both base::RefCounted and base::RefCountedThreadSafe. 663 // Check for both base::RefCounted and base::RefCountedThreadSafe.
666 if (base_name.compare(0, 10, "RefCounted") == 0 && 664 if (base_name.compare(0, 10, "RefCounted") == 0 &&
667 self->GetNamespace(decl) == "base") { 665 self->GetNamespace(decl) == "base") {
668 return true; 666 return true;
669 } 667 }
670 } 668 }
671 669
672 return false; 670 return false;
673 } 671 }
674 672
675 // Returns true if |base| specifies a class that has a public destructor, 673 // Returns true if |base| specifies a class that has a public destructor,
676 // either explicitly or implicitly. 674 // either explicitly or implicitly.
675 // static
677 bool FindBadConstructsConsumer::HasPublicDtorCallback( 676 bool FindBadConstructsConsumer::HasPublicDtorCallback(
678 const CXXBaseSpecifier* base, 677 const CXXBaseSpecifier* base,
679 CXXBasePath& path, 678 CXXBasePath& path,
680 void* user_data) { 679 void* user_data) {
681 // Only examine paths that have public inheritance, as they are the 680 // Only examine paths that have public inheritance, as they are the
682 // only ones which will result in the destructor potentially being 681 // only ones which will result in the destructor potentially being
683 // exposed. This check is largely redundant, as Chromium code should be 682 // exposed. This check is largely redundant, as Chromium code should be
684 // exclusively using public inheritance. 683 // exclusively using public inheritance.
685 if (path.Access != AS_public) 684 if (path.Access != AS_public)
686 return false; 685 return false;
(...skipping 37 matching lines...) Expand 10 before | Expand all | Expand 10 after
724 // sticking it in a non-ref-counted container (like scoped_ptr<>). 723 // sticking it in a non-ref-counted container (like scoped_ptr<>).
725 void FindBadConstructsConsumer::CheckRefCountedDtors( 724 void FindBadConstructsConsumer::CheckRefCountedDtors(
726 SourceLocation record_location, 725 SourceLocation record_location,
727 CXXRecordDecl* record) { 726 CXXRecordDecl* record) {
728 // Skip anonymous structs. 727 // Skip anonymous structs.
729 if (record->getIdentifier() == NULL) 728 if (record->getIdentifier() == NULL)
730 return; 729 return;
731 730
732 // Determine if the current type is even ref-counted. 731 // Determine if the current type is even ref-counted.
733 CXXBasePaths refcounted_path; 732 CXXBasePaths refcounted_path;
734 if (!record->lookupInBases(&FindBadConstructsConsumer::IsRefCountedCallback, 733 if (!record->lookupInBases(
735 this, 734 [this](const CXXBaseSpecifier* base, CXXBasePath& path) {
736 refcounted_path)) { 735 return IsRefCounted(base, path);
736 },
737 refcounted_path)) {
737 return; // Class does not derive from a ref-counted base class. 738 return; // Class does not derive from a ref-counted base class.
738 } 739 }
739 740
740 // Easy check: Check to see if the current type is problematic. 741 // Easy check: Check to see if the current type is problematic.
741 SourceLocation loc; 742 SourceLocation loc;
742 RefcountIssue issue = CheckRecordForRefcountIssue(record, loc); 743 RefcountIssue issue = CheckRecordForRefcountIssue(record, loc);
743 if (issue != None) { 744 if (issue != None) {
744 diagnostic().Report(loc, DiagnosticForIssue(issue)); 745 diagnostic().Report(loc, DiagnosticForIssue(issue));
745 PrintInheritanceChain(refcounted_path.front()); 746 PrintInheritanceChain(refcounted_path.front());
746 return; 747 return;
(...skipping 29 matching lines...) Expand all
776 // scoped_refptr<RefCountedInterface> some_class( 777 // scoped_refptr<RefCountedInterface> some_class(
777 // new RefCountedInterface); 778 // new RefCountedInterface);
778 // // Calls SomeInterface::~SomeInterface(), which is unsafe. 779 // // Calls SomeInterface::~SomeInterface(), which is unsafe.
779 // delete static_cast<SomeInterface*>(some_class.get()); 780 // delete static_cast<SomeInterface*>(some_class.get());
780 if (!options_.check_base_classes) 781 if (!options_.check_base_classes)
781 return; 782 return;
782 783
783 // Find all public destructors. This will record the class hierarchy 784 // Find all public destructors. This will record the class hierarchy
784 // that leads to the public destructor in |dtor_paths|. 785 // that leads to the public destructor in |dtor_paths|.
785 CXXBasePaths dtor_paths; 786 CXXBasePaths dtor_paths;
786 if (!record->lookupInBases(&FindBadConstructsConsumer::HasPublicDtorCallback, 787 if (!record->lookupInBases(
787 this, 788 [](const CXXBaseSpecifier* base, CXXBasePath& path) {
788 dtor_paths)) { 789 // TODO(thakis): Inline HasPublicDtorCallback() after clang roll.
790 return HasPublicDtorCallback(base, path, nullptr);
791 },
792 dtor_paths)) {
789 return; 793 return;
790 } 794 }
791 795
792 for (CXXBasePaths::const_paths_iterator it = dtor_paths.begin(); 796 for (CXXBasePaths::const_paths_iterator it = dtor_paths.begin();
793 it != dtor_paths.end(); 797 it != dtor_paths.end();
794 ++it) { 798 ++it) {
795 // The record with the problem will always be the last record 799 // The record with the problem will always be the last record
796 // in the path, since it is the record that stopped the search. 800 // in the path, since it is the record that stopped the search.
797 const CXXRecordDecl* problem_record = dyn_cast<CXXRecordDecl>( 801 const CXXRecordDecl* problem_record = dyn_cast<CXXRecordDecl>(
798 it->back().Base->getType()->getAs<RecordType>()->getDecl()); 802 it->back().Base->getType()->getAs<RecordType>()->getDecl());
(...skipping 63 matching lines...) Expand 10 before | Expand all | Expand 10 after
862 // one of those, it means there is at least one member after a factory. 866 // one of those, it means there is at least one member after a factory.
863 if (weak_ptr_factory_location.isValid() && 867 if (weak_ptr_factory_location.isValid() &&
864 !param_is_weak_ptr_factory_to_self) { 868 !param_is_weak_ptr_factory_to_self) {
865 diagnostic().Report(weak_ptr_factory_location, 869 diagnostic().Report(weak_ptr_factory_location,
866 diag_weak_ptr_factory_order_); 870 diag_weak_ptr_factory_order_);
867 } 871 }
868 } 872 }
869 } 873 }
870 874
871 } // namespace chrome_checker 875 } // namespace chrome_checker
OLDNEW
« no previous file with comments | « tools/clang/plugins/FindBadConstructsConsumer.h ('k') | tools/clang/plugins/Options.h » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698