re PR middle-end/35314 (ICE with __builtin_setjmp and -fmudflap)

PR middle-end/35314
	* tree-mudflap.c (mf_build_check_statement_for): Split then_block
	after __mf_check call if the call must end a bb.

	* testsuite/libmudflap.c/pass67-frag.c: New test.

From-SVN: r141741
This commit is contained in:
Jakub Jelinek 2008-11-10 14:48:06 +01:00 committed by Jakub Jelinek
parent c8a5f8f292
commit 959f8cd7da
4 changed files with 34 additions and 0 deletions

View File

@ -1,3 +1,9 @@
2008-11-10 Jakub Jelinek <jakub@redhat.com>
PR middle-end/35314
* tree-mudflap.c (mf_build_check_statement_for): Split then_block
after __mf_check call if the call must end a bb.
2008-11-10 Ralph Loader <suckfish@ihug.co.nz>
PR middle-end/37807

View File

@ -669,6 +669,15 @@ mf_build_check_statement_for (tree base, tree limit,
if (! flag_mudflap_threads)
{
if (stmt_ends_bb_p (g))
{
gsi = gsi_start_bb (then_bb);
gsi_insert_seq_after (&gsi, seq, GSI_CONTINUE_LINKING);
e = split_block (then_bb, g);
then_bb = e->dest;
seq = gimple_seq_alloc ();
}
g = gimple_build_assign (mf_cache_shift_decl_l, mf_cache_shift_decl);
gimple_seq_add_stmt (&seq, g);

View File

@ -1,3 +1,8 @@
2008-11-10 Jakub Jelinek <jakub@redhat.com>
PR middle-end/35314
* testsuite/libmudflap.c/pass67-frag.c: New test.
2008-10-09 Jakub Jelinek <jakub@redhat.com>
PR c++/37568

View File

@ -0,0 +1,14 @@
/* PR middle-end/35314 */
/* { dg-do compile } */
/* { dg-options "-fmudflap" } */
#include <setjmp.h>
jmp_buf buf;
void
foo (volatile char *p)
{
if (__builtin_setjmp (buf))
*p;
}