Increase precision of modeling of checked exceptions at call instructions

Details

  • Type: Improvement Improvement
  • Status: Open Open
  • Priority: Minor Minor
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: 1000
  • Component/s: Compiler: Optimizing
  • Labels:
    None

Description

<Note by sjfink ("Fink, Stephen J."), 2001/09/25 17:57:37, seq: 1 rel: 0 action: open>
BC2IR currently assumes that a call instruction can raise any exception.

Be more precise about the checked exceptions it can raise, using the information declared by the callee method.

Activity

Hide
Permalink
David Grove added a comment -

Same improvement needs to be made to applicableExceptionalOut et al in BasicBlock.

Show
David Grove added a comment - Same improvement needs to be made to applicableExceptionalOut et al in BasicBlock.

People

  • Assignee:
    Unassigned
    Reporter:
    David Grove
Vote (0)
Watch (0)

Dates

  • Created:
    Updated: