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).