diff options
| author | John Kåre Alsaker <john.kare.alsaker@gmail.com> | 2017-11-16 10:08:19 +0100 |
|---|---|---|
| committer | John Kåre Alsaker <john.kare.alsaker@gmail.com> | 2018-02-05 15:56:44 +0100 |
| commit | a29d8545b573d008e364571a83fcd865748a8ad8 (patch) | |
| tree | a172464bae2104117c4eeacbed5e4fc3bd1efb55 /src/libsyntax_ext | |
| parent | 8385fc062dbb57c32d96d16e59d244c168103946 (diff) | |
| download | rust-a29d8545b573d008e364571a83fcd865748a8ad8.tar.gz rust-a29d8545b573d008e364571a83fcd865748a8ad8.zip | |
Make inline assembly volatile if it has no outputs. Fixes #46026
Diffstat (limited to 'src/libsyntax_ext')
| -rw-r--r-- | src/libsyntax_ext/asm.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/libsyntax_ext/asm.rs b/src/libsyntax_ext/asm.rs index 3742fb8c804..d1de4dccd00 100644 --- a/src/libsyntax_ext/asm.rs +++ b/src/libsyntax_ext/asm.rs @@ -239,6 +239,12 @@ pub fn expand_asm<'cx>(cx: &'cx mut ExtCtxt, } } + // If there are no outputs, the inline assembly is executed just for its side effects, + // so ensure that it is volatile + if outputs.is_empty() { + volatile = true; + } + MacEager::expr(P(ast::Expr { id: ast::DUMMY_NODE_ID, node: ast::ExprKind::InlineAsm(P(ast::InlineAsm { |