From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 1FC8F3858D39; Fri, 2 Sep 2022 17:55:01 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 1FC8F3858D39 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1662141301; bh=eAwg8Bs2RPNkImFAYaBNKFramMjuBKioxR/6uuQM4bA=; h=From:To:Subject:Date:In-Reply-To:References:From; b=WRtTK+mY6j+j9TVXVv417U7Au9tO0sT3eGMsrahummbBRJMAz4ekwps5L4VEyFDnG 3vO6NHOzcXd9vXWur/cRaBakk1KGO82vPp4JqjwDHRNoyUfwaQQq3bQ3l2XqPvaCou caI6gC8f6V4zjCHiz3+lhSg4Q1IIZeqI0N1c17tg= From: "gcc.gnu at vvalter dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug ipa/106816] noreturn/pure attributes are not set correctly on multiversioned functions Date: Fri, 02 Sep 2022 17:55:01 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: ipa X-Bugzilla-Version: 12.2.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: gcc.gnu at vvalter dot com X-Bugzilla-Status: NEW 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: Message-ID: In-Reply-To: References: 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: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D106816 --- Comment #2 from Simon Rainer --- (In reply to H.J. Lu from comment #1) > Like this? >=20 > diff --git a/gcc/config/i386/i386-features.cc > b/gcc/config/i386/i386-features.cc > index fd212262f50..4904e4d71b3 100644 > --- a/gcc/config/i386/i386-features.cc > +++ b/gcc/config/i386/i386-features.cc > @@ -3269,6 +3269,9 @@ ix86_get_function_versions_dispatcher (void *decl) > /* Right now, the dispatching is done via ifunc. */ > dispatch_decl =3D make_dispatcher_decl (default_node->decl); > TREE_NOTHROW (dispatch_decl) =3D TREE_NOTHROW (fn); > + TREE_THIS_VOLATILE (dispatch_decl) =3D TREE_THIS_VOLATILE (fn); > + TREE_READONLY (dispatch_decl) =3D TREE_READONLY (fn); > + DECL_PURE_P (dispatch_decl) =3D DECL_PURE_P (fn); >=20=20 > dispatcher_node =3D cgraph_node::get_create (dispatch_decl); > gcc_assert (dispatcher_node !=3D NULL); I tried something like that, but I didn't see changes in the generated assembly. I don't know if that is because something else is preventing optimization or some other member needs to be set correctly.=