Fix handling on InlineAsm for the unconditional recursion lint.

diff --git a/src/librustc_mir_build/lints.rs b/src/librustc_mir_build/lints.rs
index 161023f1613838708b5bd6ac18c836a5c24b11a1..dbafc98fb50f1633809557d5721d1b67680779eb 100644 (file)
--- a/src/librustc_mir_build/lints.rs
+++ b/src/librustc_mir_build/lints.rs
@@ -114,9 +114,14 @@ fn node_examined(
             | TerminatorKind::Unreachable
             | TerminatorKind::Yield { .. } => ControlFlow::Break(NonRecursive),
 
-            // FIXME(Amanieu): I am not 100% sure about this, but it triggers
-            // a spurious warning otherwise.
-            TerminatorKind::InlineAsm { .. } => ControlFlow::Break(NonRecursive),
+            // A diverging InlineAsm is treated as non-recursing
+            TerminatorKind::InlineAsm { destination, .. } => {
+                if destination.is_some() {
+                    ControlFlow::Continue
+                } else {
+                    ControlFlow::Break(NonRecursive)
+                }
+            }
 
             // These do not.
             TerminatorKind::Assert { .. }