[llvm] [FlattenCFG] Fix an Imprecise Usage of AA (PR #128117)

[Nikita Popov via llvm-commits]

================
@@ -357,8 +357,12 @@ bool FlattenCFGOpt::CompareIfRegionBlock(BasicBlock *Block1, BasicBlock *Block2,
       for (BasicBlock::iterator BI(PBI2), BE(PTI2); BI != BE; ++BI) {
         if (BI->mayReadFromMemory() || BI->mayWriteToMemory()) {
           // Check alias with Head2.
-          if (!AA || !AA->isNoAlias(&*iter1, &*BI))
-            return false;
+          if (AA) {
----------------
nikic wrote:

You need to return false `if (!AA)`.

https://github.com/llvm/llvm-project/pull/128117