This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[wwwdocs] add may_alias attribute to gcc-3.3/changes.hml
- From: Dan Nicolaescu <dann at godzilla dot ICS dot UCI dot EDU>
- To: gcc-patches at gcc dot gnu dot org
- Cc: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- Date: Mon, 22 Jul 2002 16:40:14 -0700
- Subject: [wwwdocs] add may_alias attribute to gcc-3.3/changes.hml
Just noticed that the "may_alias" attribute was not documented in the
3.3 changes.html file. The text is shamelessly copied from the info
file. Please apply.
BTW, did anybody tell the Linux kernel guys this feature is implemented?
*** changes.html~ Mon Jul 22 16:04:50 2002
--- changes.html Mon Jul 22 16:04:54 2002
***************
*** 96,101 ****
--- 96,108 ----
requiring a non-null value. The compiler currently uses this
information to issue a warning when it detects a null value passed
in such an argument slot.</li>
+
+ <li>A new type attribute,
+ <code><a name="may_alias">may_alias</a></code>, has been added.
+ Accesses to objects with types with this attribute are not
+ subjected to type-based alias analysis, but are instead assumed to
+ be able to alias any other type of objects, just like the `char'
+ type. </li>
</ul>
<h3>C++</h3>