[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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits