summary refs log tree commit diff
path: root/compiler/rustc_session/src
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2024-03-13 02:01:56 +0000
committerbors <bors@rust-lang.org>2024-03-13 02:01:56 +0000
commitd3555f3d8e555ce488bbf8eee5eccdb66a464e14 (patch)
tree5ef433a1bbd7118a8e4dc3ec0871903016065eab /compiler/rustc_session/src
parente61dcc7a0ac33ef054d76453307124233edcf545 (diff)
parent55ba7a7c622fb1ac95ef05e4a652cedf923a8164 (diff)
downloadrust-d3555f3d8e555ce488bbf8eee5eccdb66a464e14.tar.gz
rust-d3555f3d8e555ce488bbf8eee5eccdb66a464e14.zip
Auto merge of #122227 - Zoxc:query-hash-verify, r=michaelwoerister
Verify that query keys result in unique dep nodes

This implements checking that query keys result into unique dep nodes as mentioned in https://github.com/rust-lang/rust/pull/112469.

We could do a perf check to see how expensive this is.

r? `@michaelwoerister`
Diffstat (limited to 'compiler/rustc_session/src')
-rw-r--r--compiler/rustc_session/src/options.rs4
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/rustc_session/src/options.rs b/compiler/rustc_session/src/options.rs
index ea4b8f2463e..f713e8911c8 100644
--- a/compiler/rustc_session/src/options.rs
+++ b/compiler/rustc_session/src/options.rs
@@ -1674,7 +1674,9 @@ options! {
         "print high-level information about incremental reuse (or the lack thereof) \
         (default: no)"),
     incremental_verify_ich: bool = (false, parse_bool, [UNTRACKED],
-        "verify incr. comp. hashes of green query instances (default: no)"),
+        "verify extended properties for incr. comp. (default: no):
+        - hashes of green query instances
+        - hash collisions of query keys"),
     inline_in_all_cgus: Option<bool> = (None, parse_opt_bool, [TRACKED],
         "control whether `#[inline]` functions are in all CGUs"),
     inline_llvm: bool = (true, parse_bool, [TRACKED],