[Bug c++/23257] Incorrect exception-handling behavior with references

[redi at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=23257

--- Comment #8 from Jonathan Wakely  ---
LLVM's libc++abi.so gives the same result, because it's a property of the
Itanium ABI not GCC's implementation of it.

[Bug c++/23257] Incorrect exception-handling behavior with references

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=23257

Andrew Pinski  changed:

   What|Removed |Added

   Keywords||wrong-code

--- Comment #7 from Andrew Pinski  ---
Hmm, ICC and clang have the same behavior as GCC but they might be using the
same libstdc++ here and such.

[Bug c++/23257] Incorrect exception-handling behavior with references

[mmitchel at gcc dot gnu dot org]

--- Comment #5 from mmitchel at gcc dot gnu dot org  2008-01-20 20:13 
---
This is a known bug in the Itanium C++ ABI.  ARM noticed this; there variant of
the C++ ABI has the additional is_reference parameter precisely to correctly
handle this case.

I looked at this in some detail at one point and concluded that the only ways
we could fix it would require a binary-compatibility break with previous
releases.  Perhaps the next major libstdc++ upgrade would be a good opportunity
for that.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23257

[Bug c++/23257] Incorrect exception-handling behavior with references

[chris dot rimmer at antixlabs dot com]

--- Comment #4 from chris dot rimmer at antixlabs dot com  2008-01-17 09:52 
---
Sorry - my earlier comment was addressing the behaviour of GCC with respect to
the DR, not the program in this bug report.

The situation in the DR is where the static type of the thrown object is
'Derived*', which the standard says should not be handled by a handler for
'Base*'.  GCC incorrectly catches the exception in this case.

The situation in the original bug report is where the static type of the thrown
object is 'Base*', so the handler should handle the exception, since 15.3
[except.handle]/3, first list item, says that a handler of type T is a match
for an exception of type E if E and T are the same type.  (E and T are 'Base*'
in this case).

The GCC behaviour is a bug because 15.3 [except.handle]/19 says:

When the handler declares a reference to a non-constant object, any changes to
the referenced object are changes to the temporary object initialised when the
throw-expression was executed and will have effect should that object be
rethrown.

GCC binds the reference to a different object in each handler.  We can see this
by adding:

  std::cout  br =   (void *) br  '\n';

to each handler.  When I ran this, the output was:

  br = 0xbfb923e8
  br = 0xbfb923ec

(gcc (GCC) 4.1.2 20061115 (prerelease) (Debian 4.1.1-21))


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23257

[Bug c++/23257] Incorrect exception-handling behavior with references

[chris dot rimmer at antixlabs dot com]

--- Comment #3 from chris dot rimmer at antixlabs dot com  2008-01-16 12:08 
---
I've just encountered the same issue.  My reading of the standard says that it
is a bug.

  15.3 [except.handle] paragraph 3
  A handler is a match for an exception object of type E if
  - The handler is of type cv T or cv T and [...]
  - the handler is of type cv T or cv T and [...]
  - the handler is of type cv1 T* cv2 and E is a pointer type that can be
converted to the type of the handler by [...]
  [...]

Note the lack of or cv1 T* cv2  in the third list item.

Interestingly, the document The Exception Handling ABI for the ARM
Architecture
(http://infocenter.arm.com/help/topic/com.arm.doc.ihi0038a/IHI0038A_ehabi.pdf)
defines (in 8.4.2 - Personality routine helper functions) a function
__cxa_type_match which takes an argument 'bool is_reference_type'.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23257

[Bug c++/23257] Incorrect exception-handling behavior with references

[pinskia at gcc dot gnu dot org]

--- Comment #2 from pinskia at gcc dot gnu dot org  2005-10-17 15:05 ---
Hmm, this looks related to DR 388.
http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#388


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23257

[Bug c++/23257] Incorrect exception-handling behavior with references

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-06 
06:09 ---
Hmm, ICC 8.0 produces the same result as GCC.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23257