diff options
Diffstat (limited to 'src/cfg/cfg-traversal.h')
| -rw-r--r-- | src/cfg/cfg-traversal.h | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/cfg/cfg-traversal.h b/src/cfg/cfg-traversal.h index f66dc8d3f..b9d9c8f1b 100644 --- a/src/cfg/cfg-traversal.h +++ b/src/cfg/cfg-traversal.h @@ -238,13 +238,12 @@ struct CFGWalker : public ControlFlowWalker<SubType, VisitorType> { // try-catch also does not have a catch_all, this continues until we // encounter a try-catch_all. Create a link to all those possible catch // unwind destinations. - // TODO This can be more precise for `throw`s if we compare event types - // and create links to outer catch BBs only when the exception is not - // caught. + // TODO This can be more precise for `throw`s if we compare tag types and + // create links to outer catch BBs only when the exception is not caught. // TODO This can also be more precise if we analyze the structure of nested // try-catches. For example, in the example below, 'call $foo' doesn't need // a link to the BB of outer 'catch $e1', because if the exception thrown by - // the call is of event $e1, it would've already been caught by the inner + // the call is of tag $e1, it would've already been caught by the inner // 'catch $e1'. Optimize these cases later. // try // try |