diff options
| author | Jakub Jelinek <jakub@gcc.gnu.org> | 2016-10-20 20:34:31 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2016-10-20 20:34:31 +0200 |
| commit | 8e92bce9f7593e2851dcca4a92eb45b2b9c556c5 (patch) | |
| tree | bc3a0f05edb3649c8787adaba2214b47ff6f7a67 /gcc/doc/gty.texi | |
| parent | f56ea76ecbc6b5bc9f6e11252cd1e8b4a566c66d (diff) | |
| download | gcc-8e92bce9f7593e2851dcca4a92eb45b2b9c556c5.zip gcc-8e92bce9f7593e2851dcca4a92eb45b2b9c556c5.tar.gz gcc-8e92bce9f7593e2851dcca4a92eb45b2b9c556c5.tar.bz2 | |
* doc/gty.texi (for_user): Use @item next to @findex.
From-SVN: r241382
Diffstat (limited to 'gcc/doc/gty.texi')
| -rw-r--r-- | gcc/doc/gty.texi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/doc/gty.texi b/gcc/doc/gty.texi index 1a22e4b..cab2b24 100644 --- a/gcc/doc/gty.texi +++ b/gcc/doc/gty.texi @@ -198,6 +198,8 @@ This is somewhat dangerous; the only safe use is in a union when one field really isn't ever used. @findex for_user +@item for_user + Use this to mark types that need to be marked by user gc routines, but are not refered to in a template argument. So if you have some user gc type T1 and a non user gc type T2 you can give T2 the for_user option so that the marking |