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 | |
| 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
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/doc/gty.texi | 2 |
2 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7eb9476..f98e079 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,4 +1,8 @@ -2016-10-20 Uros Bizjak <ubizjak@gmail.com> +2016-10-20 Jakub Jelinek <jakub@redhat.com> + + * doc/gty.texi (for_user): Use @item next to @findex. + +2016-10-20 Uros Bizjak <ubizjak@gmail.com> PR target/78037 * config/i386/bmiintrin.h (__tzcnt_u16): Call __builtin_ia32_tzcnt_u16. 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 |