This change introduces a mechanism to remove undefined behaviors when the user code catches and ignores an exception and attempts to use a terminated transaction further.
When a result is a constituent of the transaction, and that transaction is terminated, all results are invalidated.
This change introduces a mechanism to remove undefined behaviors when the user code catches and ignores an exception and attempts to use a terminated transaction further.