[clang] [Clang] Implement P2809: Trivial infinite loops are not Undefined Behavior (PR #90066)

[Hubert Tong via cfe-commits]

https://github.com/hubert-reinterpretcast commented:

@cor3ntin, can you take a look at the case I added? Thanks.

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