[clang] [CIR] Implement mustprogress/uwtable attributes (PR #228093)

[Erich Keane via cfe-commits]

================
@@ -1022,6 +1023,7 @@ mlir::LogicalResult CIRGenFunction::emitForStmt(const ForStmt &s) {
       if (emitStmt(s.getInit(), /*useCurrentScope=*/true).failed())
         return mlir::failure();
     assert(!cir::MissingFeatures::loopInfoStack());
+    checkIfLoopMustProgress(s.getCond(), CodeGenUtils::hasEmptyLoopBody(s));
----------------
erichkeane wrote:

I consider that to be part of the `loopInfoStack` missing-feature above, since it is handled as a part of the call to that.  

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