================
@@ -0,0 +1,154 @@
+// RUN: %clang_analyze_cc1
-analyzer-checker=alpha.webkit.MemoryUnsafeCastChecker -verify %s
+
+class Base { };
+class Derived : public Base { };
+
+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 *'}}
+}
+
+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 &'}}
+}
+
+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 'struct BaseStruct *' to
derived type 'struct DerivedStruct *'}}
+ struct DerivedStruct *derived_reinterpret = reinterpret_cast<struct
DerivedStruct*>(base_struct);
+ // expected-warning@-1{{Unsafe cast from base type 'struct BaseStruct *' to
derived type 'struct DerivedStruct *'}}
+ struct DerivedStruct *derived_c = (struct DerivedStruct*)base_struct;
+ // expected-warning@-1{{Unsafe cast from base type 'struct BaseStruct *' to
derived type 'struct DerivedStruct *'}}
+}
+
+typedef struct BaseStruct BStruct;
+typedef struct DerivedStruct DStruct;
+
+void test_struct_refs(BStruct &base_struct) {
+ DStruct &derived_static = static_cast<DStruct&>(base_struct);
----------------
rniwa wrote:
Can we add a test for defining downcast<T> with static_cast<T> in it and make
sure it won't generate a warning?
https://github.com/llvm/llvm-project/pull/114606
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
