clang/test/Analysis/Checkers/WebKit/uncounted-obj-arg.mm

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=alpha.webkit.UncountedCallArgsChecker -verify %s
   2 // expected-no-diagnostics
   3
   4 #import "mock-types.h"
   5 #import "mock-system-header.h"
   6 #import "../../Inputs/system-header-simulator-for-objc-dealloc.h"
   7
   8 @interface Foo : NSObject
   9
  10 @property (nonatomic, readonly) RefPtr<RefCountable> countable;
  11
  12 - (void)execute;
  13 - (RefPtr<RefCountable>)_protectedRefCountable;
  14 @end
  15
  16 @implementation Foo
  17
  18 - (void)execute {
  19   self._protectedRefCountable->method();
  20 }
  21
  22 - (RefPtr<RefCountable>)_protectedRefCountable {
  23   return _countable;
  24 }
  25
  26 @end
  27
  28 class RefCountedObject {
  29 public:
  30   void ref() const;
  31   void deref() const;
  32   Ref<RefCountedObject> copy() const;
  33 };
  34
  35 @interface WrapperObj : NSObject
  36
  37 - (Ref<RefCountedObject>)_protectedWebExtensionControllerConfiguration;
  38
  39 @end
  40
  41 static void foo(WrapperObj *configuration) {
  42   configuration._protectedWebExtensionControllerConfiguration->copy();
  43 }