re PR sanitizer/81262 (verify_flow_info failed for asmgoto test-case with -fsanitize...
authorJakub Jelinek <jakub@redhat.com>
Sat, 1 Jul 2017 08:16:27 +0000 (10:16 +0200)
committerJakub Jelinek <jakub@gcc.gnu.org>
Sat, 1 Jul 2017 08:16:27 +0000 (10:16 +0200)
commitc52d6043af02cab99e82b015d5baddcb5423624f
treec16314a48246321e533127a2a43984abc05882a6
parent9aad8d9385a8c2abd912e227b1aae0490c6ea468
re PR sanitizer/81262 (verify_flow_info failed for asmgoto test-case with -fsanitize=undefined)

PR sanitizer/81262
* bb-reorder.c (fix_up_fall_thru_edges): Move variable declarations to
the right scopes, make sure cond_jump isn't preserved between multiple
iterations.  Search for fallthru edge whenever there are 3+ edges and
use find_fallthru_edge for it.

* gcc.c-torture/compile/pr81262.c: New test.
* g++.dg/ubsan/pr81262.C: New test.

From-SVN: r249865
gcc/ChangeLog
gcc/bb-reorder.c
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/ubsan/pr81262.C [new file with mode: 0644]
gcc/testsuite/gcc.c-torture/compile/pr81262.c [new file with mode: 0644]