[clang] [clang][dataflow] Check for backedges directly (instead of loop statements). (PR #68923)

[via cfe-commits]

================
@@ -4099,6 +4099,20 @@ TEST(TransferTest, LoopDereferencingChangingRecordPointerConverges) {
   ASSERT_THAT_ERROR(checkDataflowWithNoopAnalysis(Code), llvm::Succeeded());
 }
 
+TEST(TransferTest, LoopWithDisjunctiveConditionConverges) {
----------------
martinboehme wrote:

Test naming: I think the key aspect is not that the condition is a disjunction but that it's a short-circuited binary operator -- so maybe `LoopWithShortCircuitedConditionConverges`?

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