public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "msebor at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug c/97172] [11 Regression] ICE: tree code ‘ssa_name’ is not supported in LTO streams since r11-3303-g6450f07388f9fe57 Date: Sun, 18 Oct 2020 17:55:47 +0000 [thread overview] Message-ID: <bug-97172-4-2yxim6Hazy@http.gcc.gnu.org/bugzilla/> (raw) In-Reply-To: <bug-97172-4@http.gcc.gnu.org/bugzilla/> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97172 --- Comment #9 from Martin Sebor <msebor at gcc dot gnu.org> --- To each declaration of a function with one or more VLA parameters the C front end adds attribute access that includes the expressions that specify the top-level variable bounds. So the declaration of main() in int main_argc; int main(char argv[main_argc + 1]) {} will have attribute access attached to it that references the main_argc + 1 expression: <tree_list 0x7fffea924f28 value <tree_list 0x7fffea924d20 value <plus_expr 0x7fffea924c80 type <integer_type 0x7fffea8105e8 int> arg:0 <var_decl 0x7ffff7ffbb40 n> arg:1 <integer_cst 0x7fffea815090 constant 1> /build/tmp/z.c:2:48 start: /build/tmp/z.c:2:46 finish: /build/tmp/z.c:2:50>>> The expression is then used by the middle end to check calls to these functions to make sure the VLA has the number of elements indicated by the expression. What seems to be happening in this PR is that the PLUS_EXPR is actually garbage collected by the middle end and ends up looking like an SSA_NAME: <tree_list 0x7fffea924ed8 value <tree_list 0x7fffea924cf8 value <plus_expr 0x7fffea924c80 type <integer_type 0x7fffea8105e8 int> arg:0 <ssa_name 0x7fffea801cf0 type <error_mark 0x7fffea7f7cc0> nothrow def_stmt version:1 in-free-list> arg:1 <integer_cst 0x7fffea815090 constant 1> /build/tmp/z.c:2:55 start: /build/tmp/z.c:2:45 finish: /build/tmp/z.c:2:57>>> Unsharing the expression in the front end, before it's added to the attribute, prevents this ICE, but I wouldn't expect that to be necessary. From what little I know about how garbage collection in GCC works I would think nodes would only become eligible for collection after they were no longer referenced. Unsharing also doesn't solve the problem in pr97133 where the expression that causes the LTO ICE is a BIND_EXPR (bug 97133 comment #4 has more detail). Why is BIND_EXPR not handled by the streamer? Is it because it references the function's parameter? Would that make other expressions that reference function parameters a problem too? (In my limited testing most don't seem to be.)
next prev parent reply other threads:[~2020-10-18 17:55 UTC|newest] Thread overview: 41+ messages / expand[flat|nested] mbox.gz Atom feed top 2020-09-23 7:25 [Bug c/97172] New: " marxin at gcc dot gnu.org 2020-09-23 7:25 ` [Bug c/97172] " marxin at gcc dot gnu.org 2020-09-23 8:02 ` rguenth at gcc dot gnu.org 2020-09-23 23:00 ` msebor at gcc dot gnu.org 2020-10-01 13:46 ` hubicka at gcc dot gnu.org 2020-10-01 15:36 ` msebor at gcc dot gnu.org 2020-10-01 15:39 ` msebor at gcc dot gnu.org 2020-10-05 20:18 ` msebor at gcc dot gnu.org 2020-10-12 11:48 ` rguenth at gcc dot gnu.org 2020-10-15 15:10 ` marxin at gcc dot gnu.org 2020-10-18 16:42 ` hubicka at gcc dot gnu.org 2020-10-18 17:55 ` msebor at gcc dot gnu.org [this message] 2020-10-18 19:58 ` hubicka at ucw dot cz 2020-11-10 9:02 ` marxin at gcc dot gnu.org 2020-11-30 15:00 ` rguenth at gcc dot gnu.org 2020-11-30 15:29 ` msebor at gcc dot gnu.org 2020-11-30 17:32 ` msebor at gcc dot gnu.org 2020-11-30 21:02 ` hubicka at ucw dot cz 2020-12-01 1:11 ` msebor at gcc dot gnu.org 2020-12-01 7:42 ` rguenth at gcc dot gnu.org 2020-12-01 16:12 ` msebor at gcc dot gnu.org 2020-12-01 16:16 ` Jan Hubicka 2020-12-01 16:16 ` hubicka at ucw dot cz 2020-12-02 7:38 ` rguenther at suse dot de 2020-12-18 12:58 ` marxin at gcc dot gnu.org 2020-12-18 17:02 ` msebor at gcc dot gnu.org 2020-12-19 0:55 ` msebor at gcc dot gnu.org 2021-01-22 9:05 ` ktkachov at gcc dot gnu.org 2021-01-26 18:57 ` jakub at gcc dot gnu.org 2021-01-27 22:51 ` msebor at gcc dot gnu.org 2021-02-01 16:10 ` cvs-commit at gcc dot gnu.org 2021-02-01 16:12 ` msebor at gcc dot gnu.org 2021-02-19 2:28 ` msebor at gcc dot gnu.org 2021-02-19 18:07 ` cvs-commit at gcc dot gnu.org 2021-02-23 14:38 ` marxin at gcc dot gnu.org 2021-02-23 14:49 ` rguenth at gcc dot gnu.org 2021-02-23 17:16 ` msebor at gcc dot gnu.org 2021-02-23 19:20 ` msebor at gcc dot gnu.org 2021-02-24 15:59 ` cvs-commit at gcc dot gnu.org 2021-02-24 16:01 ` msebor at gcc dot gnu.org 2021-02-25 16:03 ` cvs-commit 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-97172-4-2yxim6Hazy@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).