clang/test/Analysis/Checkers/WebKit/call-args-checked-return-value.cpp

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=alpha.webkit.UncheckedCallArgsChecker -verify %s
   2 // expected-no-diagnostics
   3
   4 #include "mock-types.h"
   5
   6 class Checkable {
   7 public:
   8   void ref() const;
   9   void deref() const;
  10 };
  11
  12 class Object {
  13 public:
  14   void ref() const;
  15   void deref() const;
  16   void someFunction(Checkable&);
  17 };
  18
  19 RefPtr<Object> object();
  20 RefPtr<Checkable> protectedTargetObject();
  21
  22 void testFunction() {
  23   if (RefPtr obj = object())
  24     obj->someFunction(*protectedTargetObject());
  25 }