[Bug middle-end/31094] Support annotating function parameters as read-only and/or non-escaping

[Bug middle-end/31094] Support annotating function parameters as read-only and/or non-escaping

[slayoo at staszic dot waw.pl]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31094

Sylwester Arabas <slayoo at staszic dot waw.pl> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |slayoo at staszic dot
                   |                            |waw.pl

--- Comment #6 from Sylwester Arabas <slayoo at staszic dot waw.pl> 2012-04-24 08:50:52 UTC ---
Perhaps that's somehow related to the issue described in this message:
http://gcc.gnu.org/ml/fortran/2012-04/msg00122.html
Sylwester

[Bug middle-end/31094] Support annotating function parameters as read-only and/or non-escaping

[dominiq at lps dot ens.fr]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31094

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |WAITING

--- Comment #7 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Is this PR fixed by revision 165559 or not?

[Bug middle-end/31094] Support annotating function parameters as read-only and/or non-escaping

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31094

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|---                         |FIXED

--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
Not sure - the middle-end now has the 'fn spec' attribute, so middle-end
support
is ready.  The revision in question only marks IO library calls properly,
not as requested user functions with INTENT(IN)/INTENT(OUT) (?)

So, closing the middle-end part as fixed (this was a middle-end bug).

Eventually a Fortran bug still needs to be opened.

[Bug middle-end/31094] Support annotating function parameters as read-only and/or non-escaping

[matz at gcc dot gnu dot org]

------- Comment #5 from matz at gcc dot gnu dot org  2009-10-08 11:26 -------
See also my mail http://gcc.gnu.org/ml/fortran/2009-08/msg00200.html
about this issue.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31094

[Bug middle-end/31094] Support annotating function parameters as read-only and/or non-escaping

[matz at gcc dot gnu dot org]

------- Comment #4 from matz at gcc dot gnu dot org  2009-10-08 11:23 -------
We're (slowly) working on this.


-- 

matz at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |matz at gcc dot gnu dot org
         AssignedTo|unassigned at gcc dot gnu   |matz at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2009-04-22 23:14:03         |2009-10-08 11:23:04
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31094

[Bug middle-end/31094] Support annotating function parameters as read-only and/or non-escaping

[manu at gcc dot gnu dot org]

------- Comment #3 from manu at gcc dot gnu dot org  2008-01-10 15:40 -------
Actually, that is for Wuninitialized. For a missed optimisation:

#include <stdio.h>
char foo()
{
  char str[] = "Hola";

  char c;

  printf("%s", str);
  c = str[0];
  return c;
}


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31094

[Bug middle-end/31094] Support annotating function parameters as read-only and/or non-escaping

[manu at gcc dot gnu dot org]

------- Comment #2 from manu at gcc dot gnu dot org  2008-01-10 15:38 -------
Isn't this similar to 

include <stdio.h>
main()
{
 char foo[10];
 printf("%s", foo);
}

and other functions that we know for sure don't modify their arguments. It
seems a missed optimisation not only for Fortran.


-- 

manu at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |manu at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31094

[Bug middle-end/31094] Support annotating function parameters as read-only and/or non-escaping

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2007-03-09 10:33 -------
Confirmed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dberlin at gcc dot gnu dot
                   |                            |org, rguenth at gcc dot gnu
                   |                            |dot org, dnovillo at redhat
                   |                            |dot com
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-03-09 10:33:54
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31094