Skip pub structs with repr(c) and repr(transparent) in dead code analysis

Author: mu001999

compiler/rustc_passes/src/dead.rs

@@ -898,7 +898,10 @@ fn create_and_seed_worklist(
                     match tcx.def_kind(id) {
                         DefKind::Impl { .. } => false,
                         DefKind::AssocConst | DefKind::AssocFn => !matches!(tcx.associated_item(id).container, AssocItemContainer::ImplContainer),
-                        DefKind::Struct => struct_all_fields_are_public(tcx, id.to_def_id()),
+                        DefKind::Struct => struct_all_fields_are_public(tcx, id.to_def_id()) || {
+                            let def = tcx.adt_def(id);
+                            def.repr().c() || def.repr().transparent()
+                        },
                         _ => true
                     })
                 .map(|id| (id, ComesFromAllowExpect::No))

tests/ui/lint/dead-code/not-lint-structs-constructed-externally.rs

@@ -0,0 +1,39 @@
+//@ check-pass
+#![deny(dead_code)]
+
+#[repr(C)]
+pub struct Foo {
+    pub i: i16,
+    align: i16
+}
+
+mod ffi {
+    use super::*;
+
+    extern "C" {
+        pub fn DomPromise_AddRef(promise: *const Promise);
+        pub fn DomPromise_Release(promise: *const Promise);
+    }
+}
+
+#[repr(C)]
+pub struct Promise {
+    private: [u8; 0],
+    __nosync: ::std::marker::PhantomData<::std::rc::Rc<u8>>,
+}
+
+pub unsafe trait RefCounted {
+    unsafe fn addref(&self);
+    unsafe fn release(&self);
+}
+
+unsafe impl RefCounted for Promise {
+    unsafe fn addref(&self) {
+        ffi::DomPromise_AddRef(self)
+    }
+    unsafe fn release(&self) {
+        ffi::DomPromise_Release(self)
+    }
+}
+
+fn main() {}