This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/49367] missed optimization with __restrict field
- From: "rguenth at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 14 Jun 2011 12:44:36 +0000
- Subject: [Bug tree-optimization/49367] missed optimization with __restrict field
- Auto-submitted: auto-generated
- References: <bug-49367-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49367
--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-06-14 12:44:35 UTC ---
The last example is because with a restrict qualified loaded pointer the
later conversion to a restrict qualified pointer is thrown away.
As for the first example the only case that would work is by passing
the argument in a way that the FE sets DECL_BY_REFERENCE and uses a
restrict qualified pointer for it. Which it does when the source passes
it by value I think. That's the only case where we can assume something
about the pointed-to type.