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 tree-optimization/102405] Loop index limited by a function return value considered to result in too big array subscript Date: Sun, 19 Sep 2021 21:00:41 +0000 [thread overview] Message-ID: <bug-102405-4-ys1oWgADfV@http.gcc.gnu.org/bugzilla/> (raw) In-Reply-To: <bug-102405-4@http.gcc.gnu.org/bugzilla/> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102405 Martin Sebor <msebor at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED CC| |msebor at gcc dot gnu.org Resolution|--- |INVALID --- Comment #2 from Martin Sebor <msebor at gcc dot gnu.org> --- The warning triggers for the IL below as designed. Your analysis is also on the mark: GCC cannot determine that the index is in the bounds of the vec array, and so it emits code for the cases when it isn't. <bb 17> [local count: 883471484]: i.42_76 = (unsigned int) i_74; if (i.42_76 > 199) goto <bb 20>; [33.00%] >>> i is in [200, UINT_MAX] else goto <bb 18>; [67.00%] ... <bb 20> [local count: 291545588]: nologmsg.43_77 = nologmsg; fc_assert_fail ("../../../src/server/techtools.c", &__FUNCTION__, 674, "(i) >= 0 && (i) < (signed int) sizeof((eligible_techs).vec) * 8", nologmsg.43_77, nologmsg.43_77); _78 = i_74 >> 3; _79 = eligible_techs.vec[_78]; <<< -Warray-bounds: _78 is in [25, UINT_MAX >> 3] _80 = (unsigned int) _79; _81 = i_74 & 7; _82 = _80 >> _81; _83 = (_Bool) _82; if (_83 != 0) goto <bb 21>; [50.00%] else goto <bb 49>; [50.00%] This kind of a transformation isn't uncommon and can be the result of optimizer improvements or other changes. Having said that, I see the function asserts that the index is in bounds just before using it: { Tech_type_id i = (1); for (; i < advance_count(); i++) { { if (((((i) >= 0 && (i) < (signed int) sizeof((eligible_techs).vec) * 8) ? (void) 0 : fc_assert_fail("../../../src/server/techtools.c", __FUNCTION__, 713, "(i) >= 0 && (i) < (signed int) sizeof((eligible_techs).vec) * 8", nologmsg, nologmsg)), ((eligible_techs).vec[((i) / 8)] & (1u << ((i) & 0x7))) != 0)) { chosen--; if (chosen == 0) { return i; } } } } }; Assuming fc_assert_fail() behaves similar to aborts() and doesn't return to the caller, annotating it as such is one of the recommended ways to communicate pre and postconditions to GCC, improve the emitted code, and avoid warnings for that GCC cannot prove is unreachable, like so: void fc_assert_fail(const char *file, const char *function, int line, const char *assertion, const char *message, ...) __attribute__((__format__ (__printf__, 5, 6), noreturn)); With that, I'm going to resolve the problem as invalid. (If I misunderstood your point please clarify.)
prev parent reply other threads:[~2021-09-19 21:00 UTC|newest] Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top 2021-09-19 11:02 [Bug c/102405] New: " cazfi74 at gmail dot com 2021-09-19 11:04 ` [Bug c/102405] " cazfi74 at gmail dot com 2021-09-19 21:00 ` msebor at gcc dot gnu.org [this message]
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-102405-4-ys1oWgADfV@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).