From bcc6c3e3dbf4dc42129b46fba23be4f47c83e809 Mon Sep 17 00:00:00 2001 From: Luqman Aden Date: Sun, 10 Mar 2013 01:55:35 -0800 Subject: [PATCH] Require unsafe block for inline assembly. --- src/librustc/middle/typeck/check/mod.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/librustc/middle/typeck/check/mod.rs b/src/librustc/middle/typeck/check/mod.rs index bd36eb1cf56..e59dc1398a0 100644 --- a/src/librustc/middle/typeck/check/mod.rs +++ b/src/librustc/middle/typeck/check/mod.rs @@ -2303,7 +2303,10 @@ pub fn check_expr_with_unifier(fcx: @mut FnCtxt, let region_lb = ty::re_scope(expr.id); instantiate_path(fcx, pth, tpt, expr.span, expr.id, region_lb); } - ast::expr_inline_asm(*) => { fcx.write_nil(id); } + ast::expr_inline_asm(*) => { + fcx.require_unsafe(expr.span, ~"use of inline assembly"); + fcx.write_nil(id); + } ast::expr_mac(_) => tcx.sess.bug(~"unexpanded macro"), ast::expr_break(_) => { fcx.write_bot(id); bot = true; } ast::expr_again(_) => { fcx.write_bot(id); bot = true; }