shafik wrote: Thank you for the fix!
I don't think I understand the bug based on your description. You say >the reason is that after evaluating the first iteration, we note a failure and >would return, however during analyzing the second snippet You start saying *first iteration* and then refer to *second snippet* did you mean *second iteration*? You say > and would return Can you link to the line? Can you also point to the line we are checking `CheckingForUndefinedBehavior`? https://github.com/llvm/llvm-project/pull/67722 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
