]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 401fe5c 0ddf249)
Rollup merge of #107740 - oli-obk:lock_tcx, r=petrochenkov
authorMatthias Krüger <matthias.krueger@famsik.de>
Tue, 7 Feb 2023 16:57:15 +0000 (17:57 +0100)
committerGitHub <noreply@github.com>
Tue, 7 Feb 2023 16:57:15 +0000 (17:57 +0100)
commit8709e9be5adfe50fa765f73aec8fb5725ec20862
tree9cfd0da47d01c1a8e22cf371f068d51e21f66b00tree | snapshot
parent401fe5c000d785fdc428ea753c9246dfe6bce935commit | diff
parent0ddf249532f188cdd947a333dfd8a009cc517ccccommit | diff
Rollup merge of #107740 - oli-obk:lock_tcx, r=petrochenkov

Avoid locking the global context across the `after_expansion` callback

r? `@petrochenkov`

This was noticed in https://github.com/model-checking/kani/pull/2184#issuecomment-1416566982

This didn't have a perf impact, as it's just an additional 2 or 3 RefCell locks being created.
Empowering everyone to build reliable and efficient software.