clang/test/Analysis/Checkers/WebKit/call-args-dynamic-downcast.cpp

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=alpha.webkit.UncountedCallArgsChecker -verify %s
   2 // expected-no-diagnostics
   3
   4 class Base {
   5 public:
   6     inline void ref();
   7     inline void deref();
   8 };
   9
  10 class Derived : public Base {
  11 public:
  12   virtual ~Derived();
  13
  14   void ref() const;
  15   void deref() const;
  16 };
  17
  18 class SubDerived final : public Derived {
  19 };
  20
  21 class OtherObject {
  22 public:
  23     Derived* obj();
  24 };
  25
  26 template<typename Target, typename Source>
  27 inline Target* dynamicDowncast(Source* source)
  28 {
  29     return static_cast<Target*>(source);
  30 }
  31
  32 void foo(OtherObject* other)
  33 {
  34     dynamicDowncast<SubDerived>(other->obj());
  35 }