blob: 62c945c7a2c242b33e935aa8412c549ef5478793 [file] [log] [blame]
// RUN: %clang_analyze_cc1 -analyzer-checker=alpha.webkit.MemoryUnsafeCastChecker -verify %s
class Base { };
class Derived : public Base { };
template<typename Target, typename Source>
Target& downcast_ref(Source& source){
[[clang::suppress]]
return static_cast<Target&>(source);
}
template<typename Target, typename Source>
Target* downcast_ptr(Source* source){
[[clang::suppress]]
return static_cast<Target*>(source);
}
void test_pointers(Base *base) {
Derived *derived_static = static_cast<Derived*>(base);
// expected-warning@-1{{Unsafe cast from base type 'Base' to derived type 'Derived'}}
Derived *derived_reinterpret = reinterpret_cast<Derived*>(base);
// expected-warning@-1{{Unsafe cast from base type 'Base' to derived type 'Derived'}}
Derived *derived_c = (Derived*)base;
// expected-warning@-1{{Unsafe cast from base type 'Base' to derived type 'Derived'}}
Derived *derived_d = downcast_ptr<Derived, Base>(base); // no warning
}
void test_non_pointers(Derived derived) {
Base base_static = static_cast<Base>(derived); // no warning
}
void test_refs(Base &base) {
Derived &derived_static = static_cast<Derived&>(base);
// expected-warning@-1{{Unsafe cast from base type 'Base' to derived type 'Derived'}}
Derived &derived_reinterpret = reinterpret_cast<Derived&>(base);
// expected-warning@-1{{Unsafe cast from base type 'Base' to derived type 'Derived'}}
Derived &derived_c = (Derived&)base;
// expected-warning@-1{{Unsafe cast from base type 'Base' to derived type 'Derived'}}
Derived &derived_d = downcast_ref<Derived, Base>(base); // no warning
}
class BaseVirtual {
virtual void virtual_base_function();
};
class DerivedVirtual : public BaseVirtual {
void virtual_base_function() override { }
};
void test_dynamic_casts(BaseVirtual *base_ptr, BaseVirtual &base_ref) {
DerivedVirtual *derived_dynamic_ptr = dynamic_cast<DerivedVirtual*>(base_ptr);
// expected-warning@-1{{Unsafe cast from base type 'BaseVirtual' to derived type 'DerivedVirtual'}}
DerivedVirtual &derived_dynamic_ref = dynamic_cast<DerivedVirtual&>(base_ref);
// expected-warning@-1{{Unsafe cast from base type 'BaseVirtual' to derived type 'DerivedVirtual'}}
}
struct BaseStruct { };
struct DerivedStruct : BaseStruct { };
void test_struct_pointers(struct BaseStruct *base_struct) {
struct DerivedStruct *derived_static = static_cast<struct DerivedStruct*>(base_struct);
// expected-warning@-1{{Unsafe cast from base type 'BaseStruct' to derived type 'DerivedStruct'}}
struct DerivedStruct *derived_reinterpret = reinterpret_cast<struct DerivedStruct*>(base_struct);
// expected-warning@-1{{Unsafe cast from base type 'BaseStruct' to derived type 'DerivedStruct'}}
struct DerivedStruct *derived_c = (struct DerivedStruct*)base_struct;
// expected-warning@-1{{Unsafe cast from base type 'BaseStruct' to derived type 'DerivedStruct'}}
}
typedef struct BaseStruct BStruct;
typedef struct DerivedStruct DStruct;
void test_struct_refs(BStruct &base_struct) {
DStruct &derived_static = static_cast<DStruct&>(base_struct);
// expected-warning@-1{{Unsafe cast from base type 'BaseStruct' to derived type 'DerivedStruct'}}
DStruct &derived_reinterpret = reinterpret_cast<DStruct&>(base_struct);
// expected-warning@-1{{Unsafe cast from base type 'BaseStruct' to derived type 'DerivedStruct'}}
DStruct &derived_c = (DStruct&)base_struct;
// expected-warning@-1{{Unsafe cast from base type 'BaseStruct' to derived type 'DerivedStruct'}}
}
int counter = 0;
void test_recursive(BStruct &base_struct) {
if (counter == 5)
return;
counter++;
DStruct &derived_static = static_cast<DStruct&>(base_struct);
// expected-warning@-1{{Unsafe cast from base type 'BaseStruct' to derived type 'DerivedStruct'}}
}
template<typename T>
class BaseTemplate { };
template<typename T>
class DerivedTemplate : public BaseTemplate<T> { };
void test_templates(BaseTemplate<int> *base, BaseTemplate<int> &base_ref) {
DerivedTemplate<int> *derived_static = static_cast<DerivedTemplate<int>*>(base);
// expected-warning@-1{{Unsafe cast from base type 'BaseTemplate' to derived type 'DerivedTemplate'}}
DerivedTemplate<int> *derived_reinterpret = reinterpret_cast<DerivedTemplate<int>*>(base);
// expected-warning@-1{{Unsafe cast from base type 'BaseTemplate' to derived type 'DerivedTemplate'}}
DerivedTemplate<int> *derived_c = (DerivedTemplate<int>*)base;
// expected-warning@-1{{Unsafe cast from base type 'BaseTemplate' to derived type 'DerivedTemplate'}}
DerivedTemplate<int> &derived_static_ref = static_cast<DerivedTemplate<int>&>(base_ref);
// expected-warning@-1{{Unsafe cast from base type 'BaseTemplate' to derived type 'DerivedTemplate'}}
DerivedTemplate<int> &derived_reinterpret_ref = reinterpret_cast<DerivedTemplate<int>&>(base_ref);
// expected-warning@-1{{Unsafe cast from base type 'BaseTemplate' to derived type 'DerivedTemplate'}}
DerivedTemplate<int> &derived_c_ref = (DerivedTemplate<int>&)base_ref;
// expected-warning@-1{{Unsafe cast from base type 'BaseTemplate' to derived type 'DerivedTemplate'}}
}
#define CAST_MACRO_STATIC(X,Y) (static_cast<Y>(X))
#define CAST_MACRO_REINTERPRET(X,Y) (reinterpret_cast<Y>(X))
#define CAST_MACRO_C(X,Y) ((Y)X)
void test_macro_static(Base *base, Derived *derived, Base &base_ref) {
Derived *derived_static = CAST_MACRO_STATIC(base, Derived*);
// expected-warning@-1{{Unsafe cast from base type 'Base' to derived type 'Derived'}}
Derived &derived_static_ref = CAST_MACRO_STATIC(base_ref, Derived&);
// expected-warning@-1{{Unsafe cast from base type 'Base' to derived type 'Derived'}}
Base *base_static_same = CAST_MACRO_STATIC(base, Base*); // no warning
Base *base_static_upcast = CAST_MACRO_STATIC(derived, Base*); // no warning
}
void test_macro_reinterpret(Base *base, Derived *derived, Base &base_ref) {
Derived *derived_reinterpret = CAST_MACRO_REINTERPRET(base, Derived*);
// expected-warning@-1{{Unsafe cast from base type 'Base' to derived type 'Derived'}}
Derived &derived_reinterpret_ref = CAST_MACRO_REINTERPRET(base_ref, Derived&);
// expected-warning@-1{{Unsafe cast from base type 'Base' to derived type 'Derived'}}
Base *base_reinterpret_same = CAST_MACRO_REINTERPRET(base, Base*); // no warning
Base *base_reinterpret_upcast = CAST_MACRO_REINTERPRET(derived, Base*); // no warning
}
void test_macro_c(Base *base, Derived *derived, Base &base_ref) {
Derived *derived_c = CAST_MACRO_C(base, Derived*);
// expected-warning@-1{{Unsafe cast from base type 'Base' to derived type 'Derived'}}
Derived &derived_c_ref = CAST_MACRO_C(base_ref, Derived&);
// expected-warning@-1{{Unsafe cast from base type 'Base' to derived type 'Derived'}}
Base *base_c_same = CAST_MACRO_C(base, Base*); // no warning
Base *base_c_upcast = CAST_MACRO_C(derived, Base*); // no warning
}
struct BaseStructCpp {
int t;
void increment() { t++; }
};
struct DerivedStructCpp : BaseStructCpp {
void increment_t() {increment();}
};
void test_struct_cpp_pointers(struct BaseStructCpp *base_struct) {
struct DerivedStructCpp *derived_static = static_cast<struct DerivedStructCpp*>(base_struct);
// expected-warning@-1{{Unsafe cast from base type 'BaseStructCpp' to derived type 'DerivedStructCpp'}}
struct DerivedStructCpp *derived_reinterpret = reinterpret_cast<struct DerivedStructCpp*>(base_struct);
// expected-warning@-1{{Unsafe cast from base type 'BaseStructCpp' to derived type 'DerivedStructCpp'}}
struct DerivedStructCpp *derived_c = (struct DerivedStructCpp*)base_struct;
// expected-warning@-1{{Unsafe cast from base type 'BaseStructCpp' to derived type 'DerivedStructCpp'}}
}
typedef struct BaseStructCpp BStructCpp;
typedef struct DerivedStructCpp DStructCpp;
void test_struct_cpp_refs(BStructCpp &base_struct, DStructCpp &derived_struct) {
DStructCpp &derived_static = static_cast<DStructCpp&>(base_struct);
// expected-warning@-1{{Unsafe cast from base type 'BaseStructCpp' to derived type 'DerivedStructCpp'}}
DStructCpp &derived_reinterpret = reinterpret_cast<DStructCpp&>(base_struct);
// expected-warning@-1{{Unsafe cast from base type 'BaseStructCpp' to derived type 'DerivedStructCpp'}}
DStructCpp &derived_c = (DStructCpp&)base_struct;
// expected-warning@-1{{Unsafe cast from base type 'BaseStructCpp' to derived type 'DerivedStructCpp'}}
BStructCpp &base = (BStructCpp&)derived_struct; // no warning
BStructCpp &base_static = static_cast<BStructCpp&>(derived_struct); // no warning
BStructCpp &base_reinterpret = reinterpret_cast<BStructCpp&>(derived_struct); // no warning
}
struct stack_st { };
#define STACK_OF(type) struct stack_st_##type
void test_stack(stack_st *base) {
STACK_OF(void) *derived = (STACK_OF(void)*)base;
// expected-warning@-1{{Unsafe cast from type 'stack_st' to an unrelated type 'stack_st_void'}}
}
class Parent { };
class Child1 : public Parent { };
class Child2 : public Parent { };
void test_common_parent(Child1 *c1, Child2 *c2) {
Child2 *c2_cstyle = (Child2 *)c1;
// expected-warning@-1{{Unsafe cast from type 'Child1' to an unrelated type 'Child2'}}
Child2 *c2_reinterpret = reinterpret_cast<Child2 *>(c1);
// expected-warning@-1{{Unsafe cast from type 'Child1' to an unrelated type 'Child2'}}
}
class Type1 { };
class Type2 { };
void test_unrelated_ref(Type1 &t1, Type2 &t2) {
Type2 &t2_cstyle = (Type2 &)t1;
// expected-warning@-1{{Unsafe cast from type 'Type1' to an unrelated type 'Type2'}}
Type2 &t2_reinterpret = reinterpret_cast<Type2 &>(t1);
// expected-warning@-1{{Unsafe cast from type 'Type1' to an unrelated type 'Type2'}}
Type2 &t2_same = reinterpret_cast<Type2 &>(t2); // no warning
}
class VirtualClass1 {
virtual void virtual_base_function();
};
class VirtualClass2 {
void virtual_base_function();
};
void test_unrelated_virtual(VirtualClass1 &v1) {
VirtualClass2 &v2 = dynamic_cast<VirtualClass2 &>(v1);
// expected-warning@-1{{Unsafe cast from type 'VirtualClass1' to an unrelated type 'VirtualClass2'}}
}
struct StructA { };
struct StructB { };
typedef struct StructA StA;
typedef struct StructB StB;
void test_struct_unrelated_refs(StA &a, StB &b) {
StB &b_reinterpret = reinterpret_cast<StB&>(a);
// expected-warning@-1{{Unsafe cast from type 'StructA' to an unrelated type 'StructB'}}
StB &b_c = (StB&)a;
// expected-warning@-1{{Unsafe cast from type 'StructA' to an unrelated type 'StructB'}}
StA &a_local = (StA&)b;
// expected-warning@-1{{Unsafe cast from type 'StructB' to an unrelated type 'StructA'}}
StA &a_reinterpret = reinterpret_cast<StA&>(b);
// expected-warning@-1{{Unsafe cast from type 'StructB' to an unrelated type 'StructA'}}
StA &a_same = (StA&)a; // no warning
}
template<typename T>
class DeferrableRefCounted {
public:
void deref() const {
auto this_to_T = static_cast<const T*>(this); // no warning
}
};
class SomeArrayClass : public DeferrableRefCounted<SomeArrayClass> { };
void test_this_to_template(SomeArrayClass *ptr) {
ptr->deref();
};
template<typename WeakPtrFactoryType>
class CanMakeWeakPtrBase {
public:
void initializeWeakPtrFactory() const {
auto &this_to_T = static_cast<const WeakPtrFactoryType&>(*this);
}
};
template<typename T>
using CanMakeWeakPtr = CanMakeWeakPtrBase<T>;
class EventLoop : public CanMakeWeakPtr<EventLoop> { };
void test_this_to_template_ref(EventLoop *ptr) {
ptr->initializeWeakPtrFactory();
};