public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug tree-optimization/89479] __restrict on a pointer ignored when disambiguating against a call [not found] <bug-89479-4@http.gcc.gnu.org/bugzilla/> @ 2020-03-31 7:49 ` rguenth at gcc dot gnu.org 2022-02-16 21:37 ` pinskia at gcc dot gnu.org ` (2 subsequent siblings) 3 siblings, 0 replies; 4+ messages in thread From: rguenth at gcc dot gnu.org @ 2020-03-31 7:49 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89479 Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |msebor at gcc dot gnu.org --- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> --- *** Bug 94416 has been marked as a duplicate of this bug. *** ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug tree-optimization/89479] __restrict on a pointer ignored when disambiguating against a call [not found] <bug-89479-4@http.gcc.gnu.org/bugzilla/> 2020-03-31 7:49 ` [Bug tree-optimization/89479] __restrict on a pointer ignored when disambiguating against a call rguenth at gcc dot gnu.org @ 2022-02-16 21:37 ` pinskia at gcc dot gnu.org 2022-02-16 21:56 ` marc@nieper-wisskirchen.de 2023-07-07 17:49 ` pinskia at gcc dot gnu.org 3 siblings, 0 replies; 4+ messages in thread From: pinskia at gcc dot gnu.org @ 2022-02-16 21:37 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89479 Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |marc@nieper-wisskirchen.de --- Comment #10 from Andrew Pinski <pinskia at gcc dot gnu.org> --- *** Bug 104574 has been marked as a duplicate of this bug. *** ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug tree-optimization/89479] __restrict on a pointer ignored when disambiguating against a call [not found] <bug-89479-4@http.gcc.gnu.org/bugzilla/> 2020-03-31 7:49 ` [Bug tree-optimization/89479] __restrict on a pointer ignored when disambiguating against a call rguenth at gcc dot gnu.org 2022-02-16 21:37 ` pinskia at gcc dot gnu.org @ 2022-02-16 21:56 ` marc@nieper-wisskirchen.de 2023-07-07 17:49 ` pinskia at gcc dot gnu.org 3 siblings, 0 replies; 4+ messages in thread From: marc@nieper-wisskirchen.de @ 2022-02-16 21:56 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89479 --- Comment #11 from Marc Nieper-Wißkirchen <marc@nieper-wisskirchen.de> --- (In reply to Richard Biener from comment #1 of bug 94416) > I think there's a duplicate somewhere. We currently cannot encode "restrict" > into the "accesses" implied by a call. > > Note there's slight complication when g (b) eventually recurses into 'f' > passing this 'b' as 'a'. Recursion makes the interpretation of the > lexically defined restrict concept a bit weird. > > So I think this bug can be closed as duplicate of the "restrict and calls" > bug. > > *** This bug has been marked as a duplicate of bug 89479 *** What do you mean by that the restrict concept is lexically defined? If I read the standard correctly, restrict makes an assumption about the dynamic extent of an executed block. This seems obvious from section 6.7.3.1 (of ISO C18) which speaks of the block of main in paragraph 2 and the lifetime of objects in paragraph 5. ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug tree-optimization/89479] __restrict on a pointer ignored when disambiguating against a call [not found] <bug-89479-4@http.gcc.gnu.org/bugzilla/> ` (2 preceding siblings ...) 2022-02-16 21:56 ` marc@nieper-wisskirchen.de @ 2023-07-07 17:49 ` pinskia at gcc dot gnu.org 3 siblings, 0 replies; 4+ messages in thread From: pinskia at gcc dot gnu.org @ 2023-07-07 17:49 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89479 Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |javier.martinez.bugzilla@gm | |ail.com --- Comment #12 from Andrew Pinski <pinskia at gcc dot gnu.org> --- *** Bug 110589 has been marked as a duplicate of this bug. *** ^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2023-07-07 17:49 UTC | newest] Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- [not found] <bug-89479-4@http.gcc.gnu.org/bugzilla/> 2020-03-31 7:49 ` [Bug tree-optimization/89479] __restrict on a pointer ignored when disambiguating against a call rguenth at gcc dot gnu.org 2022-02-16 21:37 ` pinskia at gcc dot gnu.org 2022-02-16 21:56 ` marc@nieper-wisskirchen.de 2023-07-07 17:49 ` pinskia at gcc dot gnu.org
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).