[Bug tree-optimization/71403] [7 Regression] wrong code (segfault) at -O3 on x86_64-linux-gnu

[law at gcc dot gnu.org]

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

--- Comment #8 from Jeffrey A. Law <law at gcc dot gnu.org> ---
Author: law
Date: Mon Jun 13 20:55:59 2016
New Revision: 237403

URL: https://gcc.gnu.org/viewcvs?rev=237403&root=gcc&view=rev
Log:
        PR tree-optimization/71403
        * tree-ssa-threadbackward.c
        (convert_and_register_jump_thread_path): No longer accept reference
        to path.  Do not pop items off the path anymore.
        (fsm_find_control_statement_thread_paths): Do not allow threading
        to a deeper loop nest.  Pop the last item off the path here rather
        than in convert_and_register_jump_thread_path.

        PR tree-optimization/71403
        * c-c++-common/ubsan/pr71403-1.c: New test.
        * c-c++-common/ubsan/pr71403-2.c: New test.
        * c-c++-common/ubsan/pr71403-3.c: New test.

Added:
    trunk/gcc/testsuite/c-c++-common/ubsan/pr71403-1.c
    trunk/gcc/testsuite/c-c++-common/ubsan/pr71403-2.c
    trunk/gcc/testsuite/c-c++-common/ubsan/pr71403-3.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-threadbackward.c