[Clang][CodeGen] Remove mustprogress

Author: dtcxzyw

clang/lib/CodeGen/CGExpr.cpp

@@ -3661,9 +3661,6 @@ static void emitCheckHandlerCall(CodeGenFunction &CGF,
         ME |= llvm::MemoryEffects::readOnly();
       B.addMemoryAttr(ME);
     }
-    // If the handler does not return, it must interact with the environment in
-    // an observable way.
-    B.addAttribute(llvm::Attribute::MustProgress);
   }
 
   llvm::FunctionCallee Fn = CGF.CGM.CreateRuntimeFunction(

clang/test/CodeGen/ubsan-attr.cpp

@@ -67,7 +67,7 @@ int test_unreachable() {
 
 //.
 // RECOVER: attributes #[[ATTR0]] = { mustprogress nounwind memory(read, argmem: readwrite, inaccessiblemem: readwrite) "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-features"="+cx8,+mmx,+sse,+sse2,+x87" }
-// RECOVER: attributes #[[ATTR1:[0-9]+]] = { mustprogress memory(argmem: read, inaccessiblemem: readwrite) uwtable }
+// RECOVER: attributes #[[ATTR1:[0-9]+]] = { memory(argmem: read, inaccessiblemem: readwrite) uwtable }
 // RECOVER: attributes #[[ATTR2]] = { mustprogress noreturn nounwind memory(read, argmem: none, inaccessiblemem: readwrite) "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-features"="+cx8,+mmx,+sse,+sse2,+x87" }
 // RECOVER: attributes #[[ATTR3]] = { nomerge nounwind }
 //.