[clang] [clang][CodeGen] Ensure consistent `mustprogress` attribute emission across all paths (PR #71452)

[Antonio Frighetto via cfe-commits]

================
@@ -1482,6 +1477,11 @@ void CodeGenFunction::GenerateCode(GlobalDecl GD, llvm::Function *Fn,
   } else
     llvm_unreachable("no definition for emitted function");
 
+  // This is checked after emitting the function body so we know if there
+  // are any permitted infinite loops.
----------------
antoniofrighetto wrote:

Seems like we fail to with some optimizations (e.g., https://github.com/llvm/llvm-project/issues/69833) due to a few non-mustprogress function, when they should likely not be.

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