aboutsummaryrefslogtreecommitdiff
path: root/gcc/tsan.c
diff options
context:
space:
mode:
authorMarek Polacek <polacek@redhat.com>2013-04-03 16:01:38 +0000
committerMarek Polacek <mpolacek@gcc.gnu.org>2013-04-03 16:01:38 +0000
commit71c581e77d0da68c1364fa14ae06402bd8f44cc8 (patch)
tree3d71aea3b7c65c6b4d6670c73032719a212301c3 /gcc/tsan.c
parent4a32ef809ace73d7fb581e97e154b325f36ab0b9 (diff)
downloadgcc-71c581e77d0da68c1364fa14ae06402bd8f44cc8.zip
gcc-71c581e77d0da68c1364fa14ae06402bd8f44cc8.tar.gz
gcc-71c581e77d0da68c1364fa14ae06402bd8f44cc8.tar.bz2
re PR sanitizer/55702 (ICE: in instrument_func_exit, at tsan.c:684 with -fsanitize=thread and __builtin_return())
PR sanitizer/55702 * tsan.c (instrument_func_exit): Allow BUILT_IN_RETURN functions. * gcc.dg/pr55702.c: New test. From-SVN: r197430
Diffstat (limited to 'gcc/tsan.c')
-rw-r--r--gcc/tsan.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/tsan.c b/gcc/tsan.c
index 14f40ce..c02e100 100644
--- a/gcc/tsan.c
+++ b/gcc/tsan.c
@@ -681,7 +681,8 @@ instrument_func_exit (void)
{
gsi = gsi_last_bb (e->src);
stmt = gsi_stmt (gsi);
- gcc_assert (gimple_code (stmt) == GIMPLE_RETURN);
+ gcc_assert (gimple_code (stmt) == GIMPLE_RETURN
+ || gimple_call_builtin_p (stmt, BUILT_IN_RETURN));
loc = gimple_location (stmt);
builtin_decl = builtin_decl_implicit (BUILT_IN_TSAN_FUNC_EXIT);
g = gimple_build_call (builtin_decl, 0);