no TLS dtor and no leak checks on macOS

Author: RalfJung

src/fn_call.rs

@@ -539,7 +539,7 @@ impl<'a, 'mir, 'tcx: 'mir + 'a> EvalContextExt<'tcx, 'mir> for EvalContext<'a, '
             }
 
             "_tlv_atexit" => {
-                return err!(Unimplemented("Thread-local store is not fully supported on macOS".to_owned()));
+                // FIXME: Register the dtor
             },
 
             // Determining stack base address

src/lib.rs

@@ -161,8 +161,9 @@ pub fn eval_main<'a, 'tcx: 'a>(
             let leaks = ecx.memory().leak_report();
             // Disable the leak test on some platforms where we likely do not
             // correctly implement TLS destructors.
-            let target_os = &ecx.tcx.tcx.sess.target.target.target_os;
-            if target_os.to_lowercase() != "windows" && leaks != 0 {
+            let target_os = ecx.tcx.tcx.sess.target.target.target_os.to_lowercase();
+            let ignore_leaks = target_os == "windows" || target_os == "macos";
+            if !ignore_leaks && leaks != 0 {
                 tcx.sess.err("the evaluated program leaked memory");
             }
         }

tests/compile-fail/memleak.rs

@@ -1,4 +1,5 @@
-// ignore-windows
+// ignore-windows: We do not check leaks on Windows
+// ignore-macos: We do not check leaks on macOS
 
 //error-pattern: the evaluated program leaked memory
 

tests/compile-fail/memleak_rc.rs

@@ -1,4 +1,5 @@
-// ignore-windows
+// ignore-windows: We do not check leaks on Windows
+// ignore-macos: We do not check leaks on macOS
 
 //error-pattern: the evaluated program leaked memory