Auto merge of #115612 - cjgillot:const-prop-int, r=oli-obk · rust-lang/miri@c3c0bcb · GitHub

Commit

Auto merge of #115612 - cjgillot:const-prop-int, r=oli-obk

Browse files

Improvements to dataflow const-prop

Partially cherry-picked from rust-lang/rust#110719

r? `@oli-obk`
cc `@jachris`

Loading branch information

bors committed Sep 8, 2023

2 parents f02302f + abb7aea commit c3c0bcb