llvm-project

4a79a4e8 - add proof section uniformity is safe to use across transforms