Handle exception handing catch(...) blocks
@jdh8d We need to decide how much analysis we want to perform on catch(...) blocks. Different levels are possible:
-
Emit BELONGTO annotations that associate the catch block with the function that contains the try(...) block associated with it.
-
Do data flow analysis and emit accurate DEADREGS annotations.
-
Investigate emitting even more than DEADREGS annotations.
1 is fairly simple. 2 takes some work. 3 takes some investigation to see what is possible, and then some more work.
We also want to prioritize these levels against other outstanding issues.