[wwwdocs] add may_alias attribute to gcc-3.3/changes.hml

[wwwdocs] add may_alias attribute to gcc-3.3/changes.hml

[Dan Nicolaescu]

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>

Re: [wwwdocs] add may_alias attribute to gcc-3.3/changes.hml

[Gerald Pfeifer]

On Mon, 22 Jul 2002, Dan Nicolaescu wrote:
> 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.

Somehow your patch didn't apply, but I added it manually, changing
`char' to <code>char</code> on the way.

Thanks for letting us not forget!

Gerald

Index: changes.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc-3.3/changes.html,v
retrieving revision 1.1
diff -u -3 -p -r1.1 changes.html
--- changes.html	17 Jul 2002 15:37:12 -0000	1.1
+++ changes.html	24 Jul 2002 14:26:23 -0000
@@ -96,6 +96,13 @@
 	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
+        <code>char</code> type.</li>
   </ul>

 <h3>C++</h3>