TSAN does not support C++ exceptions?

[GoogleCodeExporter]

According to the wiki documentation, C++ exceptions are not supported: 
https://code.google.com/p/thread-sanitizer/wiki/CppManual#FAQ

While I understand that exception support is not something that Google would be 
particularly interested in given the style guide, exceptions are widely used in 
other C++ codebases that could benefit from ThreadSanitizer.

If the restriction in the documentation is no longer correct, please update the 
docs. If the restriction is still in place, please add support for C++ 
exceptions. I'd also be interested in some details on what would be required to 
implement support or what the obstacles doing so currently are.

Thanks,
Andrew

Original issue reported on code.google.com by andrew.c.morrow@gmail.com on 30 Sep 2014 at 3:26

[GoogleCodeExporter]

Tsan would need to intercept control flow associated with exceptions. Namely, 
when an exception is thrown and to what frame is transfers control.

Original comment by dvyu...@google.com on 30 Sep 2014 at 3:31

• Changed state: Accepted
• Added labels: Priority-Later, Type-Enhancement
• Removed labels: Priority-Medium, Type-Defect

[GoogleCodeExporter]

We'll need a kind of RAII for tsan entry/exit hooks. 
When we are adding tsan instrumentation, we need to create a fake class object 
with a ctor and dtor. dtor will be called whenever we leave the function, even 
if there was an exception.
It is already too late to do that during the current tsan phase, we'll need a 
special pass in the frontend (clang). 
I'd love this to happen but this is nowhere near our top priorities for now. 
Help is always welcome :) 

Original comment by konstant...@gmail.com on 30 Sep 2014 at 4:09

[GoogleCodeExporter]

> We'll need a kind of RAII for tsan entry/exit hooks. 

If that would be simpler to implement, tsan can simply "rewind" state to a 
given frame. So at the throw site we just need to know destination frame; or, 
alternatively, intercept catch and rewind state to the current frame. I use 
this machinery in longjmp support, no compiler changes were needed.

Original comment by dvyu...@google.com on 1 Oct 2014 at 4:55

[GoogleCodeExporter]

FTR, there is patch for exceptions support in gcc in flight:
https://www.mail-archive.com/gcc-patches@gcc.gnu.org/msg99353.html

Original comment by dvyu...@google.com on 16 Dec 2014 at 9:27

[GoogleCodeExporter]

Just checking in on this feature request as it has been about 6 months. I still 
think that this would be a very valuable addition to TSAN. Many C++ projects 
make use of exceptions, and they currently cannot use TSAN.

Original comment by andrew.c.morrow@gmail.com on 23 Jun 2015 at 9:52

[GoogleCodeExporter]

Hi Andrew,

No progress so far.
I've pinged the gcc patch thread (it does not seem to be landed).
I am also trying to sketch exception support in llvm, but it is not completely 
trivial:
http://reviews.llvm.org/D10740

Original comment by dvyu...@google.com on 27 Jun 2015 at 2:54

[GoogleCodeExporter]

Adding Project:ThreadSanitizer as part of GitHub migration.

Original comment by gli...@google.com on 30 Jul 2015 at 9:21

• Added labels: ProjectThreadSanitizer