Unimplemented: `catch_unwind` intrinsic

[danielsn]

Only remaining issue from #158

https://doc.rust-lang.org/std/intrinsics/fn.try.html https://doc.rust-lang.org/src/core/intrinsics.rs.html#1717 https://doc.rust-lang.org/std/panic/fn.catch_unwind.html

try makes a best-effort attempt to recover from panics - if the code in the first function pointer crashes with a panic, rust will try to run the cleanup code in the second function pointer.

It is not clear to me what the right semantics are here. For now, handling this as a unimplemented allows us to soundly move forward, but it might be more accurate to actually call the first function pointer. I don't know of a nice way to do the unwinding on panic - maybe CBMC has a mechanism?

[danielsn]

Test case added in cbmc/Intrinsics/fixme_try.rs

[zhassan-aws]

try likely requires the panic unwind strategy (doesn't work with abort).

[adpaco-aws]

Renamed the issue since try was renamed to catch_unwind in https://github.com/rust-lang/rust/pull/121598