[clang] [SEH] Fix assertin when return scalar value from __try block. (PR #71488)

[Reid Kleckner via cfe-commits]

================
@@ -3507,6 +3507,9 @@ static llvm::StoreInst 
*findDominatingStoreToReturnValue(CodeGenFunction &CGF) {
       return nullptr;
     // These aren't actually possible for non-coerced returns, and we
     // only care about non-coerced returns on this code path.
+    // All memory instructions inside __try block are volatile.
----------------
rnk wrote:

Functionally, this is adjusting the conditions of the assert, can you move the 
change into the assert? Essentially, make the assert be:
```
  assert(!SI->isAtomic() && (!SI->isVolatile() || 
CGF.currentFunctionUsesSEHTry()));
```

https://github.com/llvm/llvm-project/pull/71488
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits