Rollup merge of rust-lang#132437 - Zalathar:inline-mixed-regression, …

…r=jieyouxu

coverage: Regression test for inlining into an uninstrumented crate

Regression test for rust-lang#132395, after I was able to figure out a simple way to reproduce it. See also rust-lang#132436.

In addition to confirming that there is no ICE, this test also demonstrates that the affected code is undercounted, because executing the inlined copy doesn't increment coverage counters.

tests/coverage/auxiliary/inline_mixed_helper.rs

@@ -0,0 +1,13 @@
+//@ edition: 2021
+//@ compile-flags: -Cinstrument-coverage=on
+
+#[inline]
+pub fn inline_me() {}
+
+#[inline(never)]
+pub fn no_inlining_please() {}
+
+pub fn generic<T>() {}
+
+// FIXME(#132436): Even though this doesn't ICE, it still produces coverage
+// reports that undercount the affected code.

tests/coverage/inline_mixed.coverage

@@ -0,0 +1,14 @@
+   LL|       |//@ edition: 2021
+   LL|       |//@ compile-flags: -Cinstrument-coverage=on
+   LL|       |
+   LL|       |#[inline]
+   LL|      0|pub fn inline_me() {}
+   LL|       |
+   LL|       |#[inline(never)]
+   LL|      1|pub fn no_inlining_please() {}
+   LL|       |
+   LL|      0|pub fn generic<T>() {}
+   LL|       |
+   LL|       |// FIXME(#132436): Even though this doesn't ICE, it still produces coverage
+   LL|       |// reports that undercount the affected code.
+

tests/coverage/inline_mixed.rs

@@ -0,0 +1,14 @@
+//@ edition: 2021
+//@ compile-flags: -Cinstrument-coverage=off
+//@ aux-crate: inline_mixed_helper=inline_mixed_helper.rs
+
+// Regression test for <https://github.com/rust-lang/rust/pull/132395>.
+// Various forms of cross-crate inlining can cause coverage statements to be
+// inlined into crates that are being built without coverage instrumentation.
+// At the very least, we need to not ICE when that happens.
+
+fn main() {
+    inline_mixed_helper::inline_me();
+    inline_mixed_helper::no_inlining_please();
+    inline_mixed_helper::generic::<u32>();
+}