diff options
author | Jason Merrill <jason@gcc.gnu.org> | 2001-08-16 12:24:46 -0400 |
---|---|---|
committer | Jason Merrill <jason@gcc.gnu.org> | 2001-08-16 12:24:46 -0400 |
commit | b4e49397cba8e290c274667a3a8985a6cefda778 (patch) | |
tree | 5a8ec5d207c582c4cc2b48cadfb508def25b50e8 /gcc | |
parent | 5487f1ac2e9d7b50537920f9f6fe44e6b6a660cf (diff) | |
download | gcc-b4e49397cba8e290c274667a3a8985a6cefda778.zip gcc-b4e49397cba8e290c274667a3a8985a6cefda778.tar.gz gcc-b4e49397cba8e290c274667a3a8985a6cefda778.tar.bz2 |
tweak comment
From-SVN: r44942
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/except.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/except.c b/gcc/except.c index a237562..599f188 100644 --- a/gcc/except.c +++ b/gcc/except.c @@ -834,7 +834,11 @@ expand_end_all_catch () /* End an exception region for an exception type filter. ALLOWED is a TREE_LIST of types to be matched by the runtime. FAILURE is an - expression to invoke if a mismatch ocurrs. */ + expression to invoke if a mismatch ocurrs. + + ??? We could use these semantics for calls to rethrow, too; if we can + see the surrounding catch clause, we know that the exception we're + rethrowing satisfies the "filter" of the catch type. */ void expand_eh_region_end_allowed (allowed, failure) |