martinboehme wrote: Closing the loop: My logic for `flowConditionAllows()` was wrong. If the flow condition is contradictory, `flowConditionAllows(true) == false`, so the early-out was wrong.
https://github.com/llvm/llvm-project/pull/77453 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
