clang/test/Analysis/Checkers/WebKit/uncounted-obj-const-v-muable.cpp

// RUN: %clang_analyze_cc1 -analyzer-checker=alpha.webkit.UncountedCallArgsChecker -verify %s

#include "mock-types.h"

class Object {
public:
    void ref() const;
    void deref() const;

    bool constFunc() const;
    void mutableFunc();
};

class Caller {
  void someFunction();
  void otherFunction();
private:
    RefPtr<Object> m_obj;
};

void Caller::someFunction()
{
    m_obj->constFunc();
    // expected-warning@-1{{Call argument for 'this' parameter is uncounted and unsafe}}
    m_obj->mutableFunc();
    // expected-warning@-1{{Call argument for 'this' parameter is uncounted and unsafe}}
}