public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug rtl-optimization/103006] [9/10/11/12 Regression] wrong code at -O1 or -O2 on x86_64-linux-gnu by r7-7101 Date: Wed, 02 Feb 2022 11:44:44 +0000 [thread overview] Message-ID: <bug-103006-4-w602VV1Y7l@http.gcc.gnu.org/bugzilla/> (raw) In-Reply-To: <bug-103006-4@http.gcc.gnu.org/bugzilla/> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103006 Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |msebor at gcc dot gnu.org, | |rsandifo at gcc dot gnu.org --- Comment #13 from Richard Biener <rguenth at gcc dot gnu.org> --- So I have a patch that adds explicit birth markers (using clobbers specially marked). That works well sofar but it conflicts with clobbers (not marked as birth) that are added for clobbering at the start of variable lifetime like C++ does at the beginning of CTORs. I for example see inst ={v} {CLOBBER(birth)}; inst ={v} {CLOBBER}; (**) inst.v = 42; ... inst ={v} {CLOBBER}; where (**) is inserted by the C++ frontend (with -flifetime-dse which is the default). Indeed my life analysis for the purpose of stack slot sharing now only relies on the birth/death markers so it gets confused by the extra clobber. We now also have some use-after-free diagnostic that would likely trip over this as it assumes that a CLOBBER ends lifetime of storage. I guess disentangling both use-cases by also marking the end-of-storage-lifetime clobbers specially would solve both issues.
next prev parent reply other threads:[~2022-02-02 11:44 UTC|newest] Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top 2021-10-30 17:45 [Bug tree-optimization/103006] New: wrong code at -O2 (only) on x86_64-linux-gnu zhendong.su at inf dot ethz.ch 2021-10-30 22:12 ` [Bug tree-optimization/103006] [9/10/11/12 Regression] " pinskia at gcc dot gnu.org 2021-10-30 22:15 ` [Bug middle-end/103006] [9/10/11/12 Regression] wrong code at -O1 or -O2 " pinskia at gcc dot gnu.org 2021-10-30 22:28 ` [Bug rtl-optimization/103006] " pinskia at gcc dot gnu.org 2021-11-01 11:13 ` [Bug rtl-optimization/103006] [9/10/11/12 Regression] wrong code at -O1 or -O2 on x86_64-linux-gnu by r7-7101 jakub at gcc dot gnu.org 2021-11-01 11:29 ` jakub at gcc dot gnu.org 2021-11-02 7:17 ` rguenth at gcc dot gnu.org 2021-11-02 7:57 ` jakub at gcc dot gnu.org 2021-11-02 8:10 ` rguenther at suse dot de 2021-11-02 8:20 ` jakub at gcc dot gnu.org 2021-11-02 13:55 ` rguenther at suse dot de 2021-11-05 13:39 ` rguenth at gcc dot gnu.org 2022-01-31 10:52 ` rguenth at gcc dot gnu.org 2022-01-31 13:01 ` rguenth at gcc dot gnu.org 2022-01-31 13:08 ` rguenth at gcc dot gnu.org 2022-02-02 11:44 ` rguenth at gcc dot gnu.org [this message] 2022-02-04 13:12 ` rguenth at gcc dot gnu.org 2022-05-27 9:46 ` [Bug rtl-optimization/103006] [10/11/12/13 " rguenth at gcc dot gnu.org 2022-06-28 10:46 ` jakub at gcc dot gnu.org 2023-07-07 10:41 ` [Bug middle-end/103006] [11/12/13/14 " rguenth at gcc dot gnu.org
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=bug-103006-4-w602VV1Y7l@http.gcc.gnu.org/bugzilla/ \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).