[llvm] e0c7136 - [LowerAllowCheck] preserve CFG analyses (#145816)

[via llvm-commits]

Author: Florian Mayer
Date: 2025-06-26T10:08:34-07:00
New Revision: e0c7136713d23b7637b2c14d295e338351b7a5ee

URL: https://github.com/llvm/llvm-project/commit/e0c7136713d23b7637b2c14d295e338351b7a5ee
DIFF: https://github.com/llvm/llvm-project/commit/e0c7136713d23b7637b2c14d295e338351b7a5ee.diff

LOG: [LowerAllowCheck] preserve CFG analyses (#145816)

Added: 
    

Modified: 
    llvm/lib/Transforms/Instrumentation/LowerAllowCheckPass.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Transforms/Instrumentation/LowerAllowCheckPass.cpp b/llvm/lib/Transforms/Instrumentation/LowerAllowCheckPass.cpp
index f1a0411521e01..f6a273262e535 100644
--- a/llvm/lib/Transforms/Instrumentation/LowerAllowCheckPass.cpp
+++ b/llvm/lib/Transforms/Instrumentation/LowerAllowCheckPass.cpp
@@ -158,7 +158,9 @@ PreservedAnalyses LowerAllowCheckPass::run(Function &F,
       AM.getResult<OptimizationRemarkEmitterAnalysis>(F);
 
   return removeUbsanTraps(F, BFI, PSI, ORE, Opts.cutoffs)
-             ? PreservedAnalyses::none()
+             // We do not change the CFG, we only replace the intrinsics with
+             // true or false.
+             ? PreservedAnalyses::none().preserveSet<CFGAnalyses>()
              : PreservedAnalyses::all();
 }