Currently we check every single call site to find a match. We can also just check until the start value is beyond the rel_pc, and if that happens, we bail out early. This should save us some cycles. It does mean that the deeper in a function with multiple catch blocks and destructor paths you are in, the longer it takes to evaluate.