src/test/ui/feature-gates/feature-gate-abi.rs

   1 // only-x86_64
   2 // ignore-tidy-linelength
   3 // gate-test-intrinsics
   4 // gate-test-platform_intrinsics
   5 // gate-test-abi_vectorcall
   6 // gate-test-abi_thiscall
   7 // gate-test-abi_ptx
   8 // gate-test-abi_x86_interrupt
   9 // gate-test-abi_amdgpu_kernel
  10 // gate-test-abi_efiapi
  11
  12 // Functions
  13 extern "rust-intrinsic" fn f1() {} //~ ERROR intrinsics are subject to change
  14 //~^ ERROR intrinsic must be in
  15 extern "platform-intrinsic" fn f2() {} //~ ERROR platform intrinsics are experimental
  16 //~^ ERROR intrinsic must be in
  17 extern "vectorcall" fn f3() {} //~ ERROR vectorcall is experimental and subject to change
  18 extern "rust-call" fn f4() {} //~ ERROR rust-call ABI is subject to change
  19 extern "msp430-interrupt" fn f5() {} //~ ERROR msp430-interrupt ABI is experimental
  20 extern "ptx-kernel" fn f6() {} //~ ERROR PTX ABIs are experimental and subject to change
  21 extern "x86-interrupt" fn f7() {} //~ ERROR x86-interrupt ABI is experimental
  22 extern "thiscall" fn f8() {} //~ ERROR thiscall is experimental and subject to change
  23 extern "amdgpu-kernel" fn f9() {} //~ ERROR amdgpu-kernel ABI is experimental and subject to change
  24 extern "efiapi" fn f10() {} //~ ERROR efiapi ABI is experimental and subject to change
  25
  26 // Methods in trait definition
  27 trait Tr {
  28     extern "rust-intrinsic" fn m1(); //~ ERROR intrinsics are subject to change
  29     //~^ ERROR intrinsic must be in
  30     extern "platform-intrinsic" fn m2(); //~ ERROR platform intrinsics are experimental
  31     //~^ ERROR intrinsic must be in
  32     extern "vectorcall" fn m3(); //~ ERROR vectorcall is experimental and subject to change
  33     extern "rust-call" fn m4(); //~ ERROR rust-call ABI is subject to change
  34     extern "msp430-interrupt" fn m5(); //~ ERROR msp430-interrupt ABI is experimental
  35     extern "ptx-kernel" fn m6(); //~ ERROR PTX ABIs are experimental and subject to change
  36     extern "x86-interrupt" fn m7(); //~ ERROR x86-interrupt ABI is experimental
  37     extern "thiscall" fn m8(); //~ ERROR thiscall is experimental and subject to change
  38     extern "amdgpu-kernel" fn m9(); //~ ERROR amdgpu-kernel ABI is experimental and subject to change
  39     extern "efiapi" fn m10(); //~ ERROR efiapi ABI is experimental and subject to change
  40
  41     extern "vectorcall" fn dm3() {} //~ ERROR vectorcall is experimental and subject to change
  42     extern "rust-call" fn dm4() {} //~ ERROR rust-call ABI is subject to change
  43     extern "msp430-interrupt" fn dm5() {} //~ ERROR msp430-interrupt ABI is experimental
  44     extern "ptx-kernel" fn dm6() {} //~ ERROR PTX ABIs are experimental and subject to change
  45     extern "x86-interrupt" fn dm7() {} //~ ERROR x86-interrupt ABI is experimental
  46     extern "thiscall" fn dm8() {} //~ ERROR thiscall is experimental and subject to change
  47     extern "amdgpu-kernel" fn dm9() {} //~ ERROR amdgpu-kernel ABI is experimental and subject to change
  48     extern "efiapi" fn dm10() {} //~ ERROR efiapi ABI is experimental and subject to change
  49 }
  50
  51 struct S;
  52
  53 // Methods in trait impl
  54 impl Tr for S {
  55     extern "rust-intrinsic" fn m1() {} //~ ERROR intrinsics are subject to change
  56     //~^ ERROR intrinsic must be in
  57     extern "platform-intrinsic" fn m2() {} //~ ERROR platform intrinsics are experimental
  58     //~^ ERROR intrinsic must be in
  59     extern "vectorcall" fn m3() {} //~ ERROR vectorcall is experimental and subject to change
  60     extern "rust-call" fn m4() {} //~ ERROR rust-call ABI is subject to change
  61     extern "msp430-interrupt" fn m5() {} //~ ERROR msp430-interrupt ABI is experimental
  62     extern "ptx-kernel" fn m6() {} //~ ERROR PTX ABIs are experimental and subject to change
  63     extern "x86-interrupt" fn m7() {} //~ ERROR x86-interrupt ABI is experimental
  64     extern "thiscall" fn m8() {} //~ ERROR thiscall is experimental and subject to change
  65     extern "amdgpu-kernel" fn m9() {} //~ ERROR amdgpu-kernel ABI is experimental and subject to change
  66     extern "efiapi" fn m10() {} //~ ERROR efiapi ABI is experimental and subject to change
  67 }
  68
  69 // Methods in inherent impl
  70 impl S {
  71     extern "rust-intrinsic" fn im1() {} //~ ERROR intrinsics are subject to change
  72     //~^ ERROR intrinsic must be in
  73     extern "platform-intrinsic" fn im2() {} //~ ERROR platform intrinsics are experimental
  74     //~^ ERROR intrinsic must be in
  75     extern "vectorcall" fn im3() {} //~ ERROR vectorcall is experimental and subject to change
  76     extern "rust-call" fn im4() {} //~ ERROR rust-call ABI is subject to change
  77     extern "msp430-interrupt" fn im5() {} //~ ERROR msp430-interrupt ABI is experimental
  78     extern "ptx-kernel" fn im6() {} //~ ERROR PTX ABIs are experimental and subject to change
  79     extern "x86-interrupt" fn im7() {} //~ ERROR x86-interrupt ABI is experimental
  80     extern "thiscall" fn im8() {} //~ ERROR thiscall is experimental and subject to change
  81     extern "amdgpu-kernel" fn im9() {} //~ ERROR amdgpu-kernel ABI is experimental and subject to change
  82     extern "efiapi" fn im10() {} //~ ERROR efiapi ABI is experimental and subject to change
  83 }
  84
  85 // Function pointer types
  86 type A1 = extern "rust-intrinsic" fn(); //~ ERROR intrinsics are subject to change
  87 type A2 = extern "platform-intrinsic" fn(); //~ ERROR platform intrinsics are experimental
  88 type A3 = extern "vectorcall" fn(); //~ ERROR vectorcall is experimental and subject to change
  89 type A4 = extern "rust-call" fn(); //~ ERROR rust-call ABI is subject to change
  90 type A5 = extern "msp430-interrupt" fn(); //~ ERROR msp430-interrupt ABI is experimental
  91 type A6 = extern "ptx-kernel" fn (); //~ ERROR PTX ABIs are experimental and subject to change
  92 type A7 = extern "x86-interrupt" fn(); //~ ERROR x86-interrupt ABI is experimental
  93 type A8 = extern "thiscall" fn(); //~ ERROR thiscall is experimental and subject to change
  94 type A9 = extern "amdgpu-kernel" fn(); //~ ERROR amdgpu-kernel ABI is experimental and subject to change
  95 type A10 = extern "efiapi" fn(); //~ ERROR efiapi ABI is experimental and subject to change
  96
  97 // Foreign modules
  98 extern "rust-intrinsic" {} //~ ERROR intrinsics are subject to change
  99 extern "platform-intrinsic" {} //~ ERROR platform intrinsics are experimental
 100 extern "vectorcall" {} //~ ERROR vectorcall is experimental and subject to change
 101 extern "rust-call" {} //~ ERROR rust-call ABI is subject to change
 102 extern "msp430-interrupt" {} //~ ERROR msp430-interrupt ABI is experimental
 103 extern "ptx-kernel" {} //~ ERROR PTX ABIs are experimental and subject to change
 104 extern "x86-interrupt" {} //~ ERROR x86-interrupt ABI is experimental
 105 extern "thiscall" {} //~ ERROR thiscall is experimental and subject to change
 106 extern "amdgpu-kernel" {} //~ ERROR amdgpu-kernel ABI is experimental and subject to change
 107 extern "efiapi" {} //~ ERROR efiapi ABI is experimental and subject to change
 108
 109 fn main() {}