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 40DC73858428; Mon, 13 Mar 2023 18:54:52 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 40DC73858428
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1678733692;
	bh=rvRjv7PDVY0H39m4OMbbJObkCmZOzSB1Ft9ynd2SOOI=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=fgB1mftXln6csPKjufwhqthNOyjZY9NGoebdGSe0M80NVjOt+9dSFgOUO6SvHYH1g
	 rijjqOexCLPa3v2skkO9K4nVUzmmLPOeLc8OcNGnrO5igVMLNwGIteV922S1g2Dq7f
	 xhmp8kDbZTPd9+iTJdYIvWim7yA+r29T9ZHnt5jE=
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/109112] [missed optimization] odd behaviour with
 [[assume(...)]] and member variables
Date: Mon, 13 Mar 2023 18:54:51 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 13.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub 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: cc
Message-ID: <bug-109112-4-uIMECJpf6G@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-109112-4@http.gcc.gnu.org/bugzilla/>
References: <bug-109112-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
List-Id: <gcc-bugs.sourceware.org>

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
There is nothing odd on it.  The extra optimization information assume prov=
ides
is right now used solely by value range propagation and that works only on
scalars.  For anything else, the assumptions are noted but for now nothing
takes advantage of them.  And it will take a while before that changes.=20
Assumptions provide optimization hints, the compiler isn't required to make=
 use
of them.  There will always be assumptions which compiler won't be able to =
do
anything with them.=