diff options
| author | Josh Conner <jconner@apple.com> | 2006-11-07 17:40:13 +0000 |
|---|---|---|
| committer | Josh Conner <jconner@gcc.gnu.org> | 2006-11-07 17:40:13 +0000 |
| commit | d2927bd54faa7baef708485327161bbc1c4a8b47 (patch) | |
| tree | 4cc04ddf12c473596fd9f71982e0a34b90d6eacf /gcc/doc/tree-ssa.texi | |
| parent | 98e06787f5cee2336535be4400afc68744378cbf (diff) | |
| download | gcc-d2927bd54faa7baef708485327161bbc1c4a8b47.zip gcc-d2927bd54faa7baef708485327161bbc1c4a8b47.tar.gz gcc-d2927bd54faa7baef708485327161bbc1c4a8b47.tar.bz2 | |
invoke.texi (fstrict-aliasing): Move implementation details...
2006-11-07 Josh Conner <jconner@apple.com>
* doc/invoke.texi (fstrict-aliasing): Move implementation
details...
* doc/tree-ssa.texi (Alias analysis): ...here.
From-SVN: r118559
Diffstat (limited to 'gcc/doc/tree-ssa.texi')
| -rw-r--r-- | gcc/doc/tree-ssa.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/doc/tree-ssa.texi b/gcc/doc/tree-ssa.texi index 9f6b899..6679321 100644 --- a/gcc/doc/tree-ssa.texi +++ b/gcc/doc/tree-ssa.texi @@ -1591,6 +1591,12 @@ every addressable variable found in the program. Given a symbol memory tag SMT and an addressable variable V@. If the alias sets of SMT and V conflict (as computed by may_alias_p), then V is marked as an alias tag and added to the alias set of SMT@. + +Every language that wishes to perform language-specific alias analysis +should define a function that computes, given a @code{tree} +node, an alias set for the node. Nodes in different alias sets are not +allowed to alias. For an example, see the C front-end function +@code{c_get_alias_set}. @end enumerate For instance, consider the following function: |