Only use the new node hashmap for anonymous nodes.

This commit is contained in:
Camille GILLOT
2023-03-12 11:56:20 +01:00
committed by John Kåre Alsaker
parent 1aeb99d248
commit 5a21f890e9
4 changed files with 110 additions and 55 deletions

View File

@@ -2227,7 +2227,8 @@ options! {
incremental_verify_ich: bool = (false, parse_bool, [UNTRACKED],
"verify extended properties for incr. comp. (default: no):
- hashes of green query instances
- hash collisions of query keys"),
- hash collisions of query keys
- hash collisions when creating dep-nodes"),
inline_llvm: bool = (true, parse_bool, [TRACKED],
"enable LLVM inlining (default: yes)"),
inline_mir: Option<bool> = (None, parse_opt_bool, [TRACKED],