| // RUN: %clang_analyze_cc1 -analyzer-checker=alpha.webkit.UncountedCallArgsChecker -verify %s | |
| // expected-no-diagnostics | |
| #include "mock-types.h" | |
| struct Obj { | |
| void ref() const; | |
| void deref() const; | |
| void someFunction(); | |
| }; | |
| template<typename T> class Wrapper { | |
| public: | |
| T obj(); | |
| }; | |
| static void foo(Wrapper<Ref<Obj>>&& wrapper) | |
| { | |
| wrapper.obj()->someFunction(); | |
| } |