Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
39 changes: 32 additions & 7 deletions clang/lib/StaticAnalyzer/Checkers/WebKit/ForwardDeclChecker.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -263,18 +263,43 @@ class ForwardDeclChecker : public Checker<check::ASTDecl<TranslationUnitDecl>> {
void visitCallArg(const Expr *Arg, const ParmVarDecl *Param,
const Decl *DeclWithIssue) const {
auto *ArgExpr = Arg->IgnoreParenCasts();
if (auto *InnerCE = dyn_cast<CallExpr>(Arg)) {
auto *InnerCallee = InnerCE->getDirectCallee();
if (InnerCallee && InnerCallee->isInStdNamespace() &&
safeGetName(InnerCallee) == "move" && InnerCE->getNumArgs() == 1) {
ArgExpr = InnerCE->getArg(0);
if (ArgExpr)
ArgExpr = ArgExpr->IgnoreParenCasts();
while (ArgExpr) {
ArgExpr = ArgExpr->IgnoreParenCasts();
if (auto *InnerCE = dyn_cast<CallExpr>(ArgExpr)) {
auto *InnerCallee = InnerCE->getDirectCallee();
if (InnerCallee && InnerCallee->isInStdNamespace() &&
safeGetName(InnerCallee) == "move" && InnerCE->getNumArgs() == 1) {
ArgExpr = InnerCE->getArg(0);
continue;
}
}
if (auto *UO = dyn_cast<UnaryOperator>(ArgExpr)) {
auto OpCode = UO->getOpcode();
if (OpCode == UO_Deref || OpCode == UO_AddrOf) {
ArgExpr = UO->getSubExpr();
continue;
}
}
break;
}

if (auto *MemberCallExpr = dyn_cast<CXXMemberCallExpr>(ArgExpr)) {
if (isOwnerPtrType(MemberCallExpr->getObjectType()))
return;
}

if (auto *OpCE = dyn_cast<CXXOperatorCallExpr>(ArgExpr)) {
auto *Method = dyn_cast_or_null<CXXMethodDecl>(OpCE->getDirectCallee());
if (Method && isOwnerPtr(safeGetName(Method->getParent()))) {
if (OpCE->getOperator() == OO_Star && OpCE->getNumArgs() == 1)
return;
}
}

if (isNullPtr(ArgExpr) || isa<IntegerLiteral>(ArgExpr) ||
isa<CXXDefaultArgExpr>(ArgExpr))
return;

if (auto *DRE = dyn_cast<DeclRefExpr>(ArgExpr)) {
if (auto *ValDecl = DRE->getDecl()) {
if (isa<ParmVarDecl>(ValDecl))
Expand Down
10 changes: 6 additions & 4 deletions clang/lib/StaticAnalyzer/Checkers/WebKit/PtrTypesSemantics.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -138,6 +138,11 @@ bool isCheckedPtr(const std::string &Name) {
return Name == "CheckedPtr" || Name == "CheckedRef";
}

bool isOwnerPtr(const std::string &Name) {
return isRefType(Name) || isCheckedPtr(Name) || Name == "unique_ptr" ||
Name == "UniqueRef" || Name == "LazyUniqueRef";
}

bool isSmartPtrClass(const std::string &Name) {
return isRefType(Name) || isCheckedPtr(Name) || isRetainPtrOrOSPtr(Name) ||
Name == "WeakPtr" || Name == "WeakPtrFactory" ||
Expand Down Expand Up @@ -206,10 +211,7 @@ bool isRetainPtrOrOSPtrType(const clang::QualType T) {
}

bool isOwnerPtrType(const clang::QualType T) {
return isPtrOfType(T, [](auto Name) {
return isRefType(Name) || isCheckedPtr(Name) || Name == "unique_ptr" ||
Name == "UniqueRef" || Name == "LazyUniqueRef";
});
return isPtrOfType(T, [](auto Name) { return isOwnerPtr(Name); });
}

std::optional<bool> isUncounted(const QualType T) {
Expand Down
4 changes: 4 additions & 0 deletions clang/lib/StaticAnalyzer/Checkers/WebKit/PtrTypesSemantics.h
Original file line number Diff line number Diff line change
Expand Up @@ -143,6 +143,10 @@ bool isCheckedPtr(const std::string &Name);
/// \returns true if \p Name is RetainPtr or its variant, false if not.
bool isRetainPtrOrOSPtr(const std::string &Name);

/// \returns true if \p Name is an owning smar pointer such as Ref, CheckedPtr,
/// and unique_ptr.
bool isOwnerPtr(const std::string &Name);

/// \returns true if \p Name is a smart pointer type name, false if not.
bool isSmartPtrClass(const std::string &Name);

Expand Down
12 changes: 12 additions & 0 deletions clang/test/Analysis/Checkers/WebKit/forward-decl-checker.mm
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,8 @@

Obj* provide_obj_ptr();
void receive_obj_ptr(Obj* p = nullptr);
void receive_obj_ref(Obj&);
void receive_obj_rref(Obj&&);
sqlite3* open_db();
void close_db(sqlite3*);

Expand Down Expand Up @@ -38,6 +40,16 @@
return obj;
}

void opaque_call_arg(Obj* obj, Obj&& otherObj, const RefPtr<Obj>& safeObj, WeakPtr<Obj> weakObj, std::unique_ptr<Obj>& uniqObj) {
receive_obj_ref(*obj);
receive_obj_ptr(&*obj);
receive_obj_rref(std::move(otherObj));
receive_obj_ref(*safeObj.get());
receive_obj_ptr(weakObj.get());
// expected-warning@-1{{Call argument for parameter 'p' uses a forward declared type 'Obj *'}}
receive_obj_ref(*uniqObj);
}

Obj&& provide_obj_rval();
void receive_obj_rval(Obj&& p);

Expand Down
96 changes: 91 additions & 5 deletions clang/test/Analysis/Checkers/WebKit/mock-types.h
Original file line number Diff line number Diff line change
Expand Up @@ -25,23 +25,23 @@ namespace std {
template <typename T>
class unique_ptr {
private:
T *t;
void *t;

public:
unique_ptr() : t(nullptr) { }
unique_ptr(T *t) : t(t) { }
~unique_ptr() {
if (t)
delete t;
delete static_cast<T*>(t);
}
template <typename U> unique_ptr(unique_ptr<U>&& u)
: t(u.t)
{
u.t = nullptr;
}
T *get() const { return t; }
T *operator->() const { return t; }
T &operator*() const { return *t; }
T *get() const { return static_cast<T*>(t); }
T *operator->() const { return get(); }
T &operator*() const { return *get(); }
unique_ptr &operator=(T *) { return *this; }
explicit operator bool() const { return !!t; }
};
Expand Down Expand Up @@ -313,4 +313,90 @@ class UniqueRef {
UniqueRef &operator=(T &) { return *this; }
};

class WeakPtrImpl {
private:
void* ptr { nullptr };
mutable unsigned m_refCount { 0 };

template <typename U> friend class CanMakeWeakPtr;
template <typename U> friend class WeakPtr;

public:
template <typename T>
static Ref<WeakPtrImpl> create(T& t)
{
return adoptRef(*new WeakPtrImpl(t));
}

void ref() const { m_refCount++; }
void deref() const {
m_refCount--;
if (!m_refCount)
delete const_cast<WeakPtrImpl*>(this);
}

template <typename T>
T* get() { return static_cast<T*>(ptr); }
operator bool() const { return !!ptr; }
void clear() { ptr = nullptr; }

private:
template <typename T>
WeakPtrImpl(T* t)
: ptr(static_cast<void*>(t))
{ }
};

template <typename T>
class CanMakeWeakPtr {
private:
RefPtr<WeakPtrImpl> impl;

template <typename U> friend class CanMakeWeakPtr;
template <typename U> friend class WeakPtr;

Ref<WeakPtrImpl> createWeakPtrImpl() {
if (!impl)
impl = WeakPtrImpl::create(static_cast<T>(*this));
return *impl;
}

public:
~CanMakeWeakPtr() {
if (!impl)
return;
impl->clear();
impl = nullptr;
}
};

template <typename T>
class WeakPtr {
private:
RefPtr<WeakPtrImpl> impl;

public:
WeakPtr(T& t) {
*this = t;
}
WeakPtr(T* t) {
*this = t;
}

template <typename U>
WeakPtr<T> operator=(U& obj) {
impl = obj.createWeakPtrImpl();
}

template <typename U>
WeakPtr<T> operator=(U* obj) {
impl = obj ? obj->createWeakPtrImpl() : nullptr;
}

T* get() {
return impl ? impl->get<T>() : nullptr;
}

};

#endif