3 // Copyright (C) 2000 Free Software Foundation, Inc.
4 // Contributed by Nathan Sidwell 8 Mar 2000 <nathan@codesourcery.com>
8 // We need to destroy the thrown object when exiting the catch
9 // clause. That needs to destroy the original thrown object, not
10 // the caught one (which might be a base).