[Bug c++/81675] [6/7/8 Regression] attribute(noreturn) of destructor in :? not honored

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Mon Nov 27 13:13:22 2017
New Revision: 255167

URL: https://gcc.gnu.org/viewcvs?rev=255167&root=gcc&view=rev
Log:
        PR c++/81675
        * cp-gimplify.c (cp_fold) <case COND_EXPR>: Don't return immediately
        for VOID_TYPE_P COND_EXPRs, instead fold the operands and if op0 is
        INTEGER_CST, ensure that both op1 and op2 are non-NULL and fall
        through into normal folding, otherwise just rebuild x if any op
        changed.

        * g++.dg/warn/pr81675.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/warn/pr81675.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/cp-gimplify.c
    trunk/gcc/testsuite/ChangeLog