]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4781233) | patch
Document wf constraints on control flow in cleanup blocks
authorJakob Degen <jakob.e.degen@gmail.com>
Mon, 9 Jan 2023 02:23:13 +0000 (18:23 -0800)
committerJakob Degen <jakob.e.degen@gmail.com>
Mon, 16 Jan 2023 22:51:33 +0000 (14:51 -0800)
commitf49126e3d612ec5f7e571a7ccfb3e4447cfa427c
tree7fd525ea22beed96bdb2d98a3cb4c0a0472beb9etree | snapshot
parent4781233a77e879e49cb5ce3c98d2abba6a6ade7acommit | diff
Document wf constraints on control flow in cleanup blocks

Also fixes a bug in dominator computation
compiler/rustc_const_eval/src/transform/validate.rs diff | blob | history
compiler/rustc_data_structures/src/graph/dominators/mod.rs diff | blob | history
compiler/rustc_middle/src/mir/syntax.rs diff | blob | history
Empowering everyone to build reliable and efficient software.