forked from rust-lang/rust
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of rust-lang#37693 - michaelwoerister:ich-tests, r=brson
ICH: Add test case for call expressions. r? @nikomatsakis
- Loading branch information
Showing
1 changed file
with
203 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,203 @@ | ||
// Copyright 2016 The Rust Project Developers. See the COPYRIGHT | ||
// file at the top-level directory of this distribution and at | ||
// http://rust-lang.org/COPYRIGHT. | ||
// | ||
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or | ||
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license | ||
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your | ||
// option. This file may not be copied, modified, or distributed | ||
// except according to those terms. | ||
|
||
|
||
// This test case tests the incremental compilation hash (ICH) implementation | ||
// for function and method call expressions. | ||
|
||
// The general pattern followed here is: Change one thing between rev1 and rev2 | ||
// and make sure that the hash has changed, then change nothing between rev2 and | ||
// rev3 and make sure that the hash has not changed. | ||
|
||
// must-compile-successfully | ||
// revisions: cfail1 cfail2 cfail3 | ||
// compile-flags: -Z query-dep-graph | ||
|
||
|
||
#![allow(warnings)] | ||
#![feature(rustc_attrs)] | ||
#![crate_type="rlib"] | ||
|
||
fn callee1(_x: u32, _y: i64) {} | ||
fn callee2(_x: u32, _y: i64) {} | ||
|
||
|
||
// Change Callee (Function) ---------------------------------------------------- | ||
#[cfg(cfail1)] | ||
pub fn change_callee_function() { | ||
callee1(1, 2) | ||
} | ||
|
||
#[cfg(not(cfail1))] | ||
#[rustc_dirty(label="Hir", cfg="cfail2")] | ||
#[rustc_clean(label="Hir", cfg="cfail3")] | ||
#[rustc_metadata_dirty(cfg="cfail2")] | ||
#[rustc_metadata_clean(cfg="cfail3")] | ||
pub fn change_callee_function() { | ||
callee2(1, 2) | ||
} | ||
|
||
|
||
|
||
// Change Argument (Function) -------------------------------------------------- | ||
#[cfg(cfail1)] | ||
pub fn change_argument_function() { | ||
callee1(1, 2) | ||
} | ||
|
||
#[cfg(not(cfail1))] | ||
#[rustc_dirty(label="Hir", cfg="cfail2")] | ||
#[rustc_clean(label="Hir", cfg="cfail3")] | ||
#[rustc_metadata_dirty(cfg="cfail2")] | ||
#[rustc_metadata_clean(cfg="cfail3")] | ||
pub fn change_argument_function() { | ||
callee1(1, 3) | ||
} | ||
|
||
|
||
|
||
// Change Callee Indirectly (Function) ----------------------------------------- | ||
mod change_callee_indirectly_function { | ||
#[cfg(cfail1)] | ||
use super::callee1 as callee; | ||
#[cfg(not(cfail1))] | ||
use super::callee2 as callee; | ||
|
||
#[rustc_dirty(label="Hir", cfg="cfail2")] | ||
#[rustc_clean(label="Hir", cfg="cfail3")] | ||
#[rustc_metadata_dirty(cfg="cfail2")] | ||
#[rustc_metadata_clean(cfg="cfail3")] | ||
pub fn change_callee_indirectly_function() { | ||
callee(1, 2) | ||
} | ||
} | ||
|
||
|
||
struct Struct; | ||
impl Struct { | ||
fn method1(&self, _x: char, _y: bool) {} | ||
fn method2(&self, _x: char, _y: bool) {} | ||
} | ||
|
||
// Change Callee (Method) ------------------------------------------------------ | ||
#[cfg(cfail1)] | ||
pub fn change_callee_method() { | ||
let s = Struct; | ||
s.method1('x', true); | ||
} | ||
|
||
#[cfg(not(cfail1))] | ||
#[rustc_dirty(label="Hir", cfg="cfail2")] | ||
#[rustc_clean(label="Hir", cfg="cfail3")] | ||
#[rustc_metadata_dirty(cfg="cfail2")] | ||
#[rustc_metadata_clean(cfg="cfail3")] | ||
pub fn change_callee_method() { | ||
let s = Struct; | ||
s.method2('x', true); | ||
} | ||
|
||
|
||
|
||
// Change Argument (Method) ---------------------------------------------------- | ||
#[cfg(cfail1)] | ||
pub fn change_argument_method() { | ||
let s = Struct; | ||
s.method1('x', true); | ||
} | ||
|
||
#[cfg(not(cfail1))] | ||
#[rustc_dirty(label="Hir", cfg="cfail2")] | ||
#[rustc_clean(label="Hir", cfg="cfail3")] | ||
#[rustc_metadata_dirty(cfg="cfail2")] | ||
#[rustc_metadata_clean(cfg="cfail3")] | ||
pub fn change_argument_method() { | ||
let s = Struct; | ||
s.method1('y', true); | ||
} | ||
|
||
|
||
|
||
// Change Callee (Method, UFCS) ------------------------------------------------ | ||
#[cfg(cfail1)] | ||
pub fn change_ufcs_callee_method() { | ||
let s = Struct; | ||
Struct::method1(&s, 'x', true); | ||
} | ||
|
||
#[cfg(not(cfail1))] | ||
#[rustc_dirty(label="Hir", cfg="cfail2")] | ||
#[rustc_clean(label="Hir", cfg="cfail3")] | ||
#[rustc_metadata_dirty(cfg="cfail2")] | ||
#[rustc_metadata_clean(cfg="cfail3")] | ||
pub fn change_ufcs_callee_method() { | ||
let s = Struct; | ||
Struct::method2(&s, 'x', true); | ||
} | ||
|
||
|
||
|
||
// Change Argument (Method, UFCS) ---------------------------------------------- | ||
#[cfg(cfail1)] | ||
pub fn change_argument_method_ufcs() { | ||
let s = Struct; | ||
Struct::method1(&s, 'x', true); | ||
} | ||
|
||
#[cfg(not(cfail1))] | ||
#[rustc_dirty(label="Hir", cfg="cfail2")] | ||
#[rustc_clean(label="Hir", cfg="cfail3")] | ||
#[rustc_metadata_dirty(cfg="cfail2")] | ||
#[rustc_metadata_clean(cfg="cfail3")] | ||
pub fn change_argument_method_ufcs() { | ||
let s = Struct; | ||
Struct::method1(&s, 'x', false); | ||
} | ||
|
||
|
||
|
||
// Change To UFCS -------------------------------------------------------------- | ||
#[cfg(cfail1)] | ||
pub fn change_to_ufcs() { | ||
let s = Struct; | ||
s.method1('x', true); | ||
} | ||
|
||
#[cfg(not(cfail1))] | ||
#[rustc_dirty(label="Hir", cfg="cfail2")] | ||
#[rustc_clean(label="Hir", cfg="cfail3")] | ||
#[rustc_metadata_dirty(cfg="cfail2")] | ||
#[rustc_metadata_clean(cfg="cfail3")] | ||
pub fn change_to_ufcs() { | ||
let s = Struct; | ||
Struct::method1(&s, 'x', true); | ||
} | ||
|
||
|
||
struct Struct2; | ||
impl Struct2 { | ||
fn method1(&self, _x: char, _y: bool) {} | ||
} | ||
|
||
// Change UFCS Callee Indirectly ----------------------------------------------- | ||
mod change_ufcs_callee_indirectly { | ||
#[cfg(cfail1)] | ||
use super::Struct as Struct; | ||
#[cfg(not(cfail1))] | ||
use super::Struct2 as Struct; | ||
|
||
#[rustc_dirty(label="Hir", cfg="cfail2")] | ||
#[rustc_clean(label="Hir", cfg="cfail3")] | ||
#[rustc_metadata_dirty(cfg="cfail2")] | ||
#[rustc_metadata_clean(cfg="cfail3")] | ||
pub fn change_ufcs_callee_indirectly() { | ||
let s = Struct; | ||
Struct::method1(&s, 'q', false) | ||
} | ||
} |