diff options
author | Aleksey Kladov <[email protected]> | 2019-01-13 09:27:26 +0000 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2019-01-13 10:39:48 +0000 |
commit | 77f67ca7e2caac6d94215834981ae3f6fb908443 (patch) | |
tree | 6047b4e5101e39af9837f2e3192c4e29d94b7b96 | |
parent | 40686722ba0762c4af396da120331710edfeabe8 (diff) |
gracefully handle cycles in crate graph
rust-lang/rust has absolutely weird setup with rustc-workspace-shim,
which leads to real cycles.
-rw-r--r-- | crates/ra_db/src/input.rs | 82 | ||||
-rw-r--r-- | crates/ra_hir/src/nameres/tests.rs | 12 | ||||
-rw-r--r-- | crates/ra_lsp_server/src/server_world.rs | 25 |
3 files changed, 78 insertions, 41 deletions
diff --git a/crates/ra_db/src/input.rs b/crates/ra_db/src/input.rs index 023183e29..2b761ea0c 100644 --- a/crates/ra_db/src/input.rs +++ b/crates/ra_db/src/input.rs | |||
@@ -53,6 +53,9 @@ pub struct CrateGraph { | |||
53 | arena: FxHashMap<CrateId, CrateData>, | 53 | arena: FxHashMap<CrateId, CrateData>, |
54 | } | 54 | } |
55 | 55 | ||
56 | #[derive(Debug)] | ||
57 | pub struct CyclicDependencies; | ||
58 | |||
56 | #[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)] | 59 | #[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)] |
57 | pub struct CrateId(pub u32); | 60 | pub struct CrateId(pub u32); |
58 | 61 | ||
@@ -94,12 +97,16 @@ impl CrateGraph { | |||
94 | assert!(prev.is_none()); | 97 | assert!(prev.is_none()); |
95 | crate_id | 98 | crate_id |
96 | } | 99 | } |
97 | pub fn add_dep(&mut self, from: CrateId, name: SmolStr, to: CrateId) { | 100 | pub fn add_dep( |
98 | let mut visited = FxHashSet::default(); | 101 | &mut self, |
99 | if self.dfs_find(from, to, &mut visited) { | 102 | from: CrateId, |
100 | panic!("Cycle dependencies found.") | 103 | name: SmolStr, |
104 | to: CrateId, | ||
105 | ) -> Result<(), CyclicDependencies> { | ||
106 | if self.dfs_find(from, to, &mut FxHashSet::default()) { | ||
107 | return Err(CyclicDependencies); | ||
101 | } | 108 | } |
102 | self.arena.get_mut(&from).unwrap().add_dep(name, to) | 109 | Ok(self.arena.get_mut(&from).unwrap().add_dep(name, to)) |
103 | } | 110 | } |
104 | pub fn is_empty(&self) -> bool { | 111 | pub fn is_empty(&self) -> bool { |
105 | self.arena.is_empty() | 112 | self.arena.is_empty() |
@@ -139,35 +146,6 @@ impl CrateGraph { | |||
139 | } | 146 | } |
140 | } | 147 | } |
141 | 148 | ||
142 | #[cfg(test)] | ||
143 | mod tests { | ||
144 | use super::{CrateGraph, FxHashMap, FileId, SmolStr}; | ||
145 | |||
146 | #[test] | ||
147 | #[should_panic] | ||
148 | fn it_should_painc_because_of_cycle_dependencies() { | ||
149 | let mut graph = CrateGraph::default(); | ||
150 | let crate1 = graph.add_crate_root(FileId(1u32)); | ||
151 | let crate2 = graph.add_crate_root(FileId(2u32)); | ||
152 | let crate3 = graph.add_crate_root(FileId(3u32)); | ||
153 | graph.add_dep(crate1, SmolStr::new("crate2"), crate2); | ||
154 | graph.add_dep(crate2, SmolStr::new("crate3"), crate3); | ||
155 | graph.add_dep(crate3, SmolStr::new("crate1"), crate1); | ||
156 | } | ||
157 | |||
158 | #[test] | ||
159 | fn it_works() { | ||
160 | let mut graph = CrateGraph { | ||
161 | arena: FxHashMap::default(), | ||
162 | }; | ||
163 | let crate1 = graph.add_crate_root(FileId(1u32)); | ||
164 | let crate2 = graph.add_crate_root(FileId(2u32)); | ||
165 | let crate3 = graph.add_crate_root(FileId(3u32)); | ||
166 | graph.add_dep(crate1, SmolStr::new("crate2"), crate2); | ||
167 | graph.add_dep(crate2, SmolStr::new("crate3"), crate3); | ||
168 | } | ||
169 | } | ||
170 | |||
171 | salsa::query_group! { | 149 | salsa::query_group! { |
172 | pub trait FilesDatabase: salsa::Database { | 150 | pub trait FilesDatabase: salsa::Database { |
173 | /// Text of the file. | 151 | /// Text of the file. |
@@ -209,3 +187,39 @@ salsa::query_group! { | |||
209 | } | 187 | } |
210 | } | 188 | } |
211 | } | 189 | } |
190 | |||
191 | #[cfg(test)] | ||
192 | mod tests { | ||
193 | use super::{CrateGraph, FileId, SmolStr}; | ||
194 | |||
195 | #[test] | ||
196 | fn it_should_painc_because_of_cycle_dependencies() { | ||
197 | let mut graph = CrateGraph::default(); | ||
198 | let crate1 = graph.add_crate_root(FileId(1u32)); | ||
199 | let crate2 = graph.add_crate_root(FileId(2u32)); | ||
200 | let crate3 = graph.add_crate_root(FileId(3u32)); | ||
201 | assert!(graph | ||
202 | .add_dep(crate1, SmolStr::new("crate2"), crate2) | ||
203 | .is_ok()); | ||
204 | assert!(graph | ||
205 | .add_dep(crate2, SmolStr::new("crate3"), crate3) | ||
206 | .is_ok()); | ||
207 | assert!(graph | ||
208 | .add_dep(crate3, SmolStr::new("crate1"), crate1) | ||
209 | .is_err()); | ||
210 | } | ||
211 | |||
212 | #[test] | ||
213 | fn it_works() { | ||
214 | let mut graph = CrateGraph::default(); | ||
215 | let crate1 = graph.add_crate_root(FileId(1u32)); | ||
216 | let crate2 = graph.add_crate_root(FileId(2u32)); | ||
217 | let crate3 = graph.add_crate_root(FileId(3u32)); | ||
218 | assert!(graph | ||
219 | .add_dep(crate1, SmolStr::new("crate2"), crate2) | ||
220 | .is_ok()); | ||
221 | assert!(graph | ||
222 | .add_dep(crate2, SmolStr::new("crate3"), crate3) | ||
223 | .is_ok()); | ||
224 | } | ||
225 | } | ||
diff --git a/crates/ra_hir/src/nameres/tests.rs b/crates/ra_hir/src/nameres/tests.rs index ba9fcb3d1..647fd92aa 100644 --- a/crates/ra_hir/src/nameres/tests.rs +++ b/crates/ra_hir/src/nameres/tests.rs | |||
@@ -235,7 +235,9 @@ fn item_map_across_crates() { | |||
235 | let mut crate_graph = CrateGraph::default(); | 235 | let mut crate_graph = CrateGraph::default(); |
236 | let main_crate = crate_graph.add_crate_root(main_id); | 236 | let main_crate = crate_graph.add_crate_root(main_id); |
237 | let lib_crate = crate_graph.add_crate_root(lib_id); | 237 | let lib_crate = crate_graph.add_crate_root(lib_id); |
238 | crate_graph.add_dep(main_crate, "test_crate".into(), lib_crate); | 238 | crate_graph |
239 | .add_dep(main_crate, "test_crate".into(), lib_crate) | ||
240 | .unwrap(); | ||
239 | 241 | ||
240 | db.set_crate_graph(crate_graph); | 242 | db.set_crate_graph(crate_graph); |
241 | 243 | ||
@@ -288,7 +290,9 @@ fn import_across_source_roots() { | |||
288 | let mut crate_graph = CrateGraph::default(); | 290 | let mut crate_graph = CrateGraph::default(); |
289 | let main_crate = crate_graph.add_crate_root(main_id); | 291 | let main_crate = crate_graph.add_crate_root(main_id); |
290 | let lib_crate = crate_graph.add_crate_root(lib_id); | 292 | let lib_crate = crate_graph.add_crate_root(lib_id); |
291 | crate_graph.add_dep(main_crate, "test_crate".into(), lib_crate); | 293 | crate_graph |
294 | .add_dep(main_crate, "test_crate".into(), lib_crate) | ||
295 | .unwrap(); | ||
292 | 296 | ||
293 | db.set_crate_graph(crate_graph); | 297 | db.set_crate_graph(crate_graph); |
294 | 298 | ||
@@ -330,7 +334,9 @@ fn reexport_across_crates() { | |||
330 | let mut crate_graph = CrateGraph::default(); | 334 | let mut crate_graph = CrateGraph::default(); |
331 | let main_crate = crate_graph.add_crate_root(main_id); | 335 | let main_crate = crate_graph.add_crate_root(main_id); |
332 | let lib_crate = crate_graph.add_crate_root(lib_id); | 336 | let lib_crate = crate_graph.add_crate_root(lib_id); |
333 | crate_graph.add_dep(main_crate, "test_crate".into(), lib_crate); | 337 | crate_graph |
338 | .add_dep(main_crate, "test_crate".into(), lib_crate) | ||
339 | .unwrap(); | ||
334 | 340 | ||
335 | db.set_crate_graph(crate_graph); | 341 | db.set_crate_graph(crate_graph); |
336 | 342 | ||
diff --git a/crates/ra_lsp_server/src/server_world.rs b/crates/ra_lsp_server/src/server_world.rs index 4f3c231d3..d5dbf999f 100644 --- a/crates/ra_lsp_server/src/server_world.rs +++ b/crates/ra_lsp_server/src/server_world.rs | |||
@@ -73,7 +73,9 @@ impl ServerWorldState { | |||
73 | if let (Some(&from), Some(&to)) = | 73 | if let (Some(&from), Some(&to)) = |
74 | (sysroot_crates.get(&from), sysroot_crates.get(&to)) | 74 | (sysroot_crates.get(&from), sysroot_crates.get(&to)) |
75 | { | 75 | { |
76 | crate_graph.add_dep(from, name.clone(), to); | 76 | if let Err(_) = crate_graph.add_dep(from, name.clone(), to) { |
77 | log::error!("cyclic dependency between sysroot crates") | ||
78 | } | ||
77 | } | 79 | } |
78 | } | 80 | } |
79 | } | 81 | } |
@@ -108,11 +110,20 @@ impl ServerWorldState { | |||
108 | for &from in pkg_crates.get(&pkg).into_iter().flatten() { | 110 | for &from in pkg_crates.get(&pkg).into_iter().flatten() { |
109 | if let Some(to) = lib_tgt { | 111 | if let Some(to) = lib_tgt { |
110 | if to != from { | 112 | if to != from { |
111 | crate_graph.add_dep(from, pkg.name(&ws.cargo).into(), to); | 113 | if let Err(_) = |
114 | crate_graph.add_dep(from, pkg.name(&ws.cargo).into(), to) | ||
115 | { | ||
116 | log::error!( | ||
117 | "cyclic dependency between targets of {}", | ||
118 | pkg.name(&ws.cargo) | ||
119 | ) | ||
120 | } | ||
112 | } | 121 | } |
113 | } | 122 | } |
114 | if let Some(std) = libstd { | 123 | if let Some(std) = libstd { |
115 | crate_graph.add_dep(from, "std".into(), std); | 124 | if let Err(_) = crate_graph.add_dep(from, "std".into(), std) { |
125 | log::error!("cyclic dependency on std for {}", pkg.name(&ws.cargo)) | ||
126 | } | ||
116 | } | 127 | } |
117 | } | 128 | } |
118 | } | 129 | } |
@@ -123,7 +134,13 @@ impl ServerWorldState { | |||
123 | for dep in pkg.dependencies(&ws.cargo) { | 134 | for dep in pkg.dependencies(&ws.cargo) { |
124 | if let Some(&to) = pkg_to_lib_crate.get(&dep.pkg) { | 135 | if let Some(&to) = pkg_to_lib_crate.get(&dep.pkg) { |
125 | for &from in pkg_crates.get(&pkg).into_iter().flatten() { | 136 | for &from in pkg_crates.get(&pkg).into_iter().flatten() { |
126 | crate_graph.add_dep(from, dep.name.clone(), to); | 137 | if let Err(_) = crate_graph.add_dep(from, dep.name.clone(), to) { |
138 | log::error!( | ||
139 | "cyclic dependency {} -> {}", | ||
140 | pkg.name(&ws.cargo), | ||
141 | dep.pkg.name(&ws.cargo) | ||
142 | ) | ||
143 | } | ||
127 | } | 144 | } |
128 | } | 145 | } |
129 | } | 146 | } |