src/test/incremental/hashes/extern_mods.rs

   1 // This test case tests the incremental compilation hash (ICH) implementation
   2 // for `extern` modules.
   3
   4 // The general pattern followed here is: Change one thing between rev1 and rev2
   5 // and make sure that the hash has changed, then change nothing between rev2 and
   6 // rev3 and make sure that the hash has not changed.
   7
   8 // build-pass (FIXME(62277): could be check-pass?)
   9 // revisions: cfail1 cfail2 cfail3 cfail4 cfail5 cfail6
  10 // compile-flags: -Z query-dep-graph
  11 // [cfail1]compile-flags: -Zincremental-ignore-spans
  12 // [cfail2]compile-flags: -Zincremental-ignore-spans
  13 // [cfail3]compile-flags: -Zincremental-ignore-spans
  14 // [cfail4]compile-flags: -Zincremental-relative-spans
  15 // [cfail5]compile-flags: -Zincremental-relative-spans
  16 // [cfail6]compile-flags: -Zincremental-relative-spans
  17
  18 #![allow(warnings)]
  19 #![feature(rustc_attrs)]
  20 #![feature(unboxed_closures)]
  21 #![crate_type = "rlib"]
  22
  23 // Change function name --------------------------------------------------------
  24 #[cfg(any(cfail1,cfail4))]
  25 extern "C" {
  26     pub fn change_function_name1(c: i64) -> i32;
  27 }
  28
  29 #[cfg(not(any(cfail1,cfail4)))]
  30 #[rustc_clean(cfg = "cfail2", except = "hir_owner")]
  31 #[rustc_clean(cfg = "cfail3")]
  32 #[rustc_clean(cfg = "cfail5", except = "hir_owner")]
  33 #[rustc_clean(cfg = "cfail6")]
  34 extern "C" {
  35     pub fn change_function_name2(c: i64) -> i32;
  36 }
  37
  38 // Change parameter name -------------------------------------------------------
  39 #[cfg(any(cfail1,cfail4))]
  40 extern "C" {
  41     pub fn change_parameter_name(c: i64) -> i32;
  42 }
  43
  44 #[cfg(not(any(cfail1,cfail4)))]
  45 #[rustc_clean(cfg = "cfail2")]
  46 #[rustc_clean(cfg = "cfail3")]
  47 #[rustc_clean(cfg = "cfail5")]
  48 #[rustc_clean(cfg = "cfail6")]
  49 extern "C" {
  50     pub fn change_parameter_name(d: i64) -> i32;
  51 }
  52
  53 // Change parameter type -------------------------------------------------------
  54 #[cfg(any(cfail1,cfail4))]
  55 extern "C" {
  56     pub fn change_parameter_type(c: i64) -> i32;
  57 }
  58
  59 #[cfg(not(any(cfail1,cfail4)))]
  60 #[rustc_clean(cfg = "cfail2")]
  61 #[rustc_clean(cfg = "cfail3")]
  62 #[rustc_clean(cfg = "cfail5")]
  63 #[rustc_clean(cfg = "cfail6")]
  64 extern "C" {
  65     pub fn change_parameter_type(c: i32) -> i32;
  66 }
  67
  68 // Change return type ----------------------------------------------------------
  69 #[cfg(any(cfail1,cfail4))]
  70 extern "C" {
  71     pub fn change_return_type(c: i32) -> i32;
  72 }
  73
  74 #[cfg(not(any(cfail1,cfail4)))]
  75 #[rustc_clean(cfg = "cfail2")]
  76 #[rustc_clean(cfg = "cfail3")]
  77 #[rustc_clean(cfg = "cfail5")]
  78 #[rustc_clean(cfg = "cfail6")]
  79 extern "C" {
  80     pub fn change_return_type(c: i32) -> i8 ;
  81 }
  82
  83 // Add parameter ---------------------------------------------------------------
  84 #[cfg(any(cfail1,cfail4))]
  85 extern "C" {
  86     pub fn add_parameter(c: i32        ) -> i32;
  87 }
  88
  89 #[cfg(not(any(cfail1,cfail4)))]
  90 #[rustc_clean(cfg = "cfail2")]
  91 #[rustc_clean(cfg = "cfail3")]
  92 #[rustc_clean(cfg = "cfail5")]
  93 #[rustc_clean(cfg = "cfail6")]
  94 extern "C" {
  95     pub fn add_parameter(c: i32, d: i32) -> i32;
  96 }
  97
  98 // Add return type -------------------------------------------------------------
  99 #[cfg(any(cfail1,cfail4))]
 100 extern "C" {
 101     pub fn add_return_type(c: i32)       ;
 102 }
 103
 104 #[cfg(not(any(cfail1,cfail4)))]
 105 #[rustc_clean(cfg = "cfail2")]
 106 #[rustc_clean(cfg = "cfail3")]
 107 #[rustc_clean(cfg = "cfail5")]
 108 #[rustc_clean(cfg = "cfail6")]
 109 extern "C" {
 110     pub fn add_return_type(c: i32) -> i32;
 111 }
 112
 113 // Make function variadic ------------------------------------------------------
 114 #[cfg(any(cfail1,cfail4))]
 115 extern "C" {
 116     pub fn make_function_variadic(c: i32     );
 117 }
 118
 119 #[cfg(not(any(cfail1,cfail4)))]
 120 #[rustc_clean(cfg = "cfail2")]
 121 #[rustc_clean(cfg = "cfail3")]
 122 #[rustc_clean(cfg = "cfail5")]
 123 #[rustc_clean(cfg = "cfail6")]
 124 extern "C" {
 125     pub fn make_function_variadic(c: i32, ...);
 126 }
 127
 128 // Change calling convention ---------------------------------------------------
 129 #[cfg(any(cfail1,cfail4))]
 130 extern "C" {
 131     pub fn change_calling_convention(c: i32);
 132 }
 133
 134 #[cfg(not(any(cfail1,cfail4)))]
 135 #[rustc_clean(cfg = "cfail2", except = "hir_owner")]
 136 #[rustc_clean(cfg = "cfail3")]
 137 #[rustc_clean(cfg = "cfail5", except = "hir_owner")]
 138 #[rustc_clean(cfg = "cfail6")]
 139 extern "rust-call" {
 140     pub fn change_calling_convention(c: i32);
 141 }
 142
 143 // Make function public --------------------------------------------------------
 144 #[cfg(any(cfail1,cfail4))]
 145 extern "C" {
 146     fn     make_function_public(c: i32);
 147 }
 148
 149 #[cfg(not(any(cfail1,cfail4)))]
 150 #[rustc_clean(cfg = "cfail2")]
 151 #[rustc_clean(cfg = "cfail3")]
 152 #[rustc_clean(cfg = "cfail5")]
 153 #[rustc_clean(cfg = "cfail6")]
 154 extern "C" {
 155     pub fn make_function_public(c: i32);
 156 }
 157
 158 // Add function ----------------------------------------------------------------
 159 #[cfg(any(cfail1,cfail4))]
 160 extern "C" {
 161     pub fn add_function1(c: i32);
 162 }
 163
 164 #[cfg(not(any(cfail1,cfail4)))]
 165 #[rustc_clean(cfg = "cfail2", except = "hir_owner")]
 166 #[rustc_clean(cfg = "cfail3")]
 167 #[rustc_clean(cfg = "cfail5", except = "hir_owner")]
 168 #[rustc_clean(cfg = "cfail6")]
 169 extern "C" {
 170     pub fn add_function1(c: i32);
 171     pub fn add_function2();
 172 }
 173
 174 // Change link-name ------------------------------------------------------------
 175 #[cfg(any(cfail1,cfail4))]
 176 #[link(name = "foo")]
 177 extern "C" {
 178     pub fn change_link_name(c: i32);
 179 }
 180
 181 #[cfg(not(any(cfail1,cfail4)))]
 182 #[rustc_clean(cfg = "cfail2")]
 183 #[rustc_clean(cfg = "cfail3")]
 184 #[rustc_clean(cfg = "cfail5")]
 185 #[rustc_clean(cfg = "cfail6")]
 186 #[link(name = "bar")]
 187 extern "C" {
 188     pub fn change_link_name(c: i32);
 189 }
 190
 191 type c_i32 = i32;
 192 type c_i64 = i64;
 193
 194 // Indirectly change parameter type --------------------------------------------
 195 mod indirectly_change_parameter_type {
 196     #[cfg(any(cfail1,cfail4))]
 197     use super::c_i32 as c_int;
 198     #[cfg(not(any(cfail1,cfail4)))]
 199     use super::c_i64 as c_int;
 200
 201     #[rustc_clean(cfg = "cfail2")]
 202     #[rustc_clean(cfg = "cfail3")]
 203     #[rustc_clean(cfg = "cfail5")]
 204     #[rustc_clean(cfg = "cfail6")]
 205     extern "C" {
 206         pub fn indirectly_change_parameter_type(c: c_int);
 207     }
 208 }
 209
 210 // Indirectly change return type --------------------------------------------
 211 mod indirectly_change_return_type {
 212     #[cfg(any(cfail1,cfail4))]
 213     use super::c_i32 as c_int;
 214     #[cfg(not(any(cfail1,cfail4)))]
 215     use super::c_i64 as c_int;
 216
 217     #[rustc_clean(cfg = "cfail2")]
 218     #[rustc_clean(cfg = "cfail3")]
 219     #[rustc_clean(cfg = "cfail5")]
 220     #[rustc_clean(cfg = "cfail6")]
 221     extern "C" {
 222         pub fn indirectly_change_return_type() -> c_int;
 223     }
 224 }