src/test/ui/inline-asm-bad-constraint.rs

   1 // Copyright 2018 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 // Test that the compiler will catch invalid inline assembly constraints.
  12
  13 // ignore-emscripten
  14
  15 #![feature(asm)]
  16
  17 extern "C" {
  18     fn foo(a: usize);
  19 }
  20
  21 fn main() {
  22     bad_register_constraint();
  23     bad_input();
  24     wrong_size_output();
  25 }
  26
  27 // Issue #54130
  28 fn bad_register_constraint() {
  29     let rax: u64;
  30     unsafe {
  31         asm!("" :"={rax"(rax)) //~ ERROR E0668
  32     };
  33     println!("Accumulator is: {}", rax);
  34 }
  35
  36 // Issue #54376
  37 fn bad_input() {
  38     unsafe {
  39         asm!("callq $0" : : "0"(foo)) //~ ERROR E0668
  40     };
  41 }
  42
  43 fn wrong_size_output() {
  44     let rax: u64 = 0;
  45     unsafe {
  46         asm!("addb $1, $0" : "={rax}"((0i32, rax))); //~ ERROR E0668
  47     }
  48     println!("rax: {}", rax);
  49 }