Merge pull request #598 from solson/rustup

implement panic_if_uninhabited intrinsic

diff --git a/src/intrinsic.rs b/src/intrinsic.rs
index 0f7382b61b726668be102dbfa44b1b22c4d063ba..0ef847236418c0b8b1033008c25782772bc14023 100644 (file)
--- a/src/intrinsic.rs
+++ b/src/intrinsic.rs
@@ -286,6 +286,14 @@ fn call_intrinsic(
                 this.write_scalar(result_ptr, dest)?;
             }
 
+            "panic_if_uninhabited" => {
+                let ty = substs.type_at(0);
+                let layout = this.layout_of(ty)?;
+                if layout.abi.is_uninhabited() {
+                    return err!(Intrinsic(format!("Trying to instantiate uninhabited type {}", ty)))
+                }
+            }
+
             "powf32" => {
                 let f = this.read_scalar(args[0])?.to_f32()?;
                 let f2 = this.read_scalar(args[1])?.to_f32()?;