From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
 id 83E78385482F; Tue,  4 May 2021 06:45:51 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 83E78385482F
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/100409] New: C++ FE elides pure throwing call
Date: Tue, 04 May 2021 06:45:51 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 12.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status
 bug_severity priority component assigned_to reporter target_milestone
Message-ID: <bug-100409-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Tue, 04 May 2021 06:45:51 -0000

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

            Bug ID: 100409
           Summary: C++ FE elides pure throwing call
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: rguenth at gcc dot gnu.org
  Target Milestone: ---

The C++ FE elides the call to foo() in

int x, y;
int __attribute__((pure,noinline)) foo () { if (x) throw 1; return y; }
void __attribute__((noinline)) foo2 () { foo (); }

despite it throwing an exception.  It does this in finish_expr_stmt
by calling convert_to_void on the following, likely relying on
!TREE_SIDE_EFFECTS

 <call_expr 0x7ffff66dca20
    type <integer_type 0x7ffff65885e8 int public type_6 SI
        size <integer_cst 0x7ffff658b108 constant 32>
        unit-size <integer_cst 0x7ffff658b120 constant 4>
        align:32 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0x7ffff65885e8 precision:32 min <integer_cst 0x7ffff658b0c0 -2147483648> max
<integer_cst 0x7ffff658b0d8 2147483647>
        pointer_to_this <pointer_type 0x7ffff65909d8>>

    fn <addr_expr 0x7ffff66c7be0
        type <pointer_type 0x7ffff66e29d8 type <function_type 0x7ffff65989d=
8>
            unsigned DI
            size <integer_cst 0x7ffff656aeb8 constant 64>
            unit-size <integer_cst 0x7ffff656aed0 constant 8>
            align:64 warn_if_not_align:0 symtab:0 alias-set -1 canonical-ty=
pe
0x7ffff66e29d8>
        constant
        arg:0 <function_decl 0x7ffff66cde00 foo type <function_type
0x7ffff65989d8>
            addressable used public static uninlinable decl_5 QI t2.c:2:36
align:8 warn_if_not_align:0 context <translation_unit_decl 0x7ffff6578168 t=
2.c>
            attributes <tree_list 0x7ffff66c8de8
                purpose <identifier_node 0x7ffff66dbe00 noinline
                    normal local bindings <(nil)>>
                chain <tree_list 0x7ffff66c8dc0
                    purpose <identifier_node 0x7ffff65b4200 pure
                        normal local bindings <(nil)>>>> initial <block
0x7ffff66d14e0> result <result_decl 0x7ffff6578e10 D.2349>
            full-name "int foo()"
            struct-function 0x7ffff66de000 chain <var_decl 0x7ffff7ff5c60 y=
>>>
    t2.c:3:46 start: t2.c:3:42 finish: t2.c:3:47>

it happens here:

  if (expr !=3D error_mark_node && !VOID_TYPE_P (TREE_TYPE (expr)))
    {
...
      expr =3D build1 (CONVERT_EXPR, void_type_node, expr);
    }
  if (! TREE_SIDE_EFFECTS (expr))
    expr =3D void_node;
  return expr;=