Skip to content

Commit 3200553

Browse files
committed
add test case for changes to a private fn
1 parent 5509ae3 commit 3200553

File tree

1 file changed

+111
-0
lines changed

1 file changed

+111
-0
lines changed
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,111 @@
1+
// Copyright 2014 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 where we change the body of a private method in an impl.
12+
// We then test what sort of functions must be rebuilt as a result.
13+
14+
// revisions:rpass1 rpass2
15+
// compile-flags: -Z query-dep-graph
16+
17+
#![feature(rustc_attrs)]
18+
#![feature(stmt_expr_attributes)]
19+
#![allow(dead_code)]
20+
21+
#![rustc_partition_translated(module="struct_point-point", cfg="rpass2")]
22+
23+
#![rustc_partition_reused(module="struct_point-fn_calls_methods_in_same_impl", cfg="rpass2")]
24+
#![rustc_partition_reused(module="struct_point-fn_calls_methods_in_another_impl", cfg="rpass2")]
25+
#![rustc_partition_reused(module="struct_point-fn_make_struct", cfg="rpass2")]
26+
#![rustc_partition_reused(module="struct_point-fn_read_field", cfg="rpass2")]
27+
#![rustc_partition_reused(module="struct_point-fn_write_field", cfg="rpass2")]
28+
29+
mod point {
30+
pub struct Point {
31+
pub x: f32,
32+
pub y: f32,
33+
}
34+
35+
fn distance_squared(this: &Point) -> f32 {
36+
#[cfg(rpass1)]
37+
return this.x + this.y;
38+
39+
#[cfg(rpass2)]
40+
return this.x * this.x + this.y * this.y;
41+
}
42+
43+
impl Point {
44+
pub fn distance_from_origin(&self) -> f32 {
45+
distance_squared(self).sqrt()
46+
}
47+
}
48+
49+
impl Point {
50+
pub fn translate(&mut self, x: f32, y: f32) {
51+
self.x += x;
52+
self.y += y;
53+
}
54+
}
55+
56+
}
57+
58+
/// A fn item that calls (public) methods on `Point` from the same impl which changed
59+
mod fn_calls_methods_in_same_impl {
60+
use point::Point;
61+
62+
#[rustc_clean(label="TypeckItemBody", cfg="rpass2")]
63+
pub fn check() {
64+
let x = Point { x: 2.0, y: 2.0 };
65+
x.distance_from_origin();
66+
}
67+
}
68+
69+
/// A fn item that calls (public) methods on `Point` from another impl
70+
mod fn_calls_methods_in_another_impl {
71+
use point::Point;
72+
73+
#[rustc_clean(label="TypeckItemBody", cfg="rpass2")]
74+
pub fn check() {
75+
let mut x = Point { x: 2.0, y: 2.0 };
76+
x.translate(3.0, 3.0);
77+
}
78+
}
79+
80+
/// A fn item that makes an instance of `Point` but does not invoke methods
81+
mod fn_make_struct {
82+
use point::Point;
83+
84+
#[rustc_clean(label="TypeckItemBody", cfg="rpass2")]
85+
pub fn make_origin() -> Point {
86+
Point { x: 2.0, y: 2.0 }
87+
}
88+
}
89+
90+
/// A fn item that reads fields from `Point` but does not invoke methods
91+
mod fn_read_field {
92+
use point::Point;
93+
94+
#[rustc_clean(label="TypeckItemBody", cfg="rpass2")]
95+
pub fn get_x(p: Point) -> f32 {
96+
p.x
97+
}
98+
}
99+
100+
/// A fn item that writes to a field of `Point` but does not invoke methods
101+
mod fn_write_field {
102+
use point::Point;
103+
104+
#[rustc_clean(label="TypeckItemBody", cfg="rpass2")]
105+
pub fn inc_x(p: &mut Point) {
106+
p.x += 1.0;
107+
}
108+
}
109+
110+
fn main() {
111+
}

0 commit comments

Comments
 (0)