File tree Expand file tree Collapse file tree 2 files changed +3
-0
lines changed Expand file tree Collapse file tree 2 files changed +3
-0
lines changed Original file line number Diff line number Diff line change @@ -31,6 +31,7 @@ impl rustc_driver::Callbacks for MiriCompilerCalls<'_> {
31
31
self . bencher . iter ( || {
32
32
let config = miri:: MiriConfig {
33
33
validate : true ,
34
+ stacked_borrows : true ,
34
35
communicate : false ,
35
36
ignore_leaks : false ,
36
37
excluded_env_vars : vec ! [ ] ,
Original file line number Diff line number Diff line change @@ -46,6 +46,7 @@ impl rustc_driver::Callbacks for MiriCompilerCalls {
46
46
{
47
47
let config = MiriConfig {
48
48
validate : true ,
49
+ stacked_borrows : true ,
49
50
communicate : false ,
50
51
ignore_leaks : false ,
51
52
excluded_env_vars : vec ! [ ] ,
@@ -67,6 +68,7 @@ impl rustc_driver::Callbacks for MiriCompilerCalls {
67
68
} else if let Some ( ( entry_def_id, _) ) = tcx. entry_fn ( LOCAL_CRATE ) {
68
69
let config = MiriConfig {
69
70
validate : true ,
71
+ stacked_borrows : true ,
70
72
communicate : false ,
71
73
ignore_leaks : false ,
72
74
excluded_env_vars : vec ! [ ] ,
You can’t perform that action at this time.
0 commit comments