[Bug sanitizer/81262] [8 Regression] verify_flow_info failed for asmgoto test-case with -fsanitize=undefined

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Sat Jul  1 08:16:27 2017
New Revision: 249865

URL: https://gcc.gnu.org/viewcvs?rev=249865&root=gcc&view=rev
Log:
        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.

Added:
    trunk/gcc/testsuite/g++.dg/ubsan/pr81262.C
    trunk/gcc/testsuite/gcc.c-torture/compile/pr81262.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/bb-reorder.c
    trunk/gcc/testsuite/ChangeLog