[Bug c++/54278] [6 regression] __attribute__((noreturn)) called from destructor when another auto-scoped variable has a non-trivial dtor erroneously fails with "control reaches end of non-void function" at -O0

Fri, 12 Oct 2018 06:46:42 -0700 

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

--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Fri Oct 12 13:44:35 2018
New Revision: 265101

URL: https://gcc.gnu.org/viewcvs?rev=265101&root=gcc&view=rev
Log:
2018-10-12  Richard Biener  <rguent...@suse.de>

        PR c++/54278
        Backport from mainline
        2017-03-23  Richard Biener  <rguent...@suse.de>

        PR tree-optimization/80032
        * gimplify.c (gimple_push_cleanup): Forced unconditional
        cleanups still have to go to the conditional_cleanups
        sequence.

        2017-03-21  Richard Biener  <rguent...@suse.de>

        PR tree-optimization/80032
        * gimplify.c (gimple_push_cleanup): Add force_uncond parameter,
        if set force the cleanup to happen unconditionally.
        (gimplify_target_expr): Push inserted clobbers with force_uncond
        to avoid them being removed by control-dependent DCE.

        * g++.dg/opt/pr80032.C: New testcase.

Added:
    branches/gcc-6-branch/gcc/testsuite/g++.dg/opt/pr80032.C
Modified:
    branches/gcc-6-branch/gcc/ChangeLog
    branches/gcc-6-branch/gcc/gimplify.c
    branches/gcc-6-branch/gcc/testsuite/ChangeLog

Reply via email to