diff options
| author | Jan Hubicka <jh@suse.cz> | 2020-10-15 14:46:12 +0200 |
|---|---|---|
| committer | Jan Hubicka <jh@suse.cz> | 2020-10-15 14:46:12 +0200 |
| commit | 6b55fa29adf4d643e61388bf01a4509b0b041d17 (patch) | |
| tree | 09642316ff15be3cb6c3dacadc84305998427eb8 | |
| parent | 7cb40b08bdf739a8e92b9586f5fa765830743522 (diff) | |
| download | gcc-6b55fa29adf4d643e61388bf01a4509b0b041d17.zip gcc-6b55fa29adf4d643e61388bf01a4509b0b041d17.tar.gz gcc-6b55fa29adf4d643e61388bf01a4509b0b041d17.tar.bz2 | |
Fix toplevel comment of attr-fnspec.h
gcc/ChangeLog:
2020-10-15 Jan Hubicka <hubicka@ucw.cz>
Richard Biener <rguenther@suse.de>
* attr-fnspec.h: Fix toplevel comment.
| -rw-r--r-- | gcc/attr-fnspec.h | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/gcc/attr-fnspec.h b/gcc/attr-fnspec.h index 921bb48..d38b84a 100644 --- a/gcc/attr-fnspec.h +++ b/gcc/attr-fnspec.h @@ -30,12 +30,14 @@ character 2+2i specifies properties of argument number i as follows: 'x' or 'X' specifies that parameter is unused. - 'r' or 'R' specifies that parameter is only read and memory pointed to is - never dereferenced. - 'w' or 'W' specifies that parameter is only written to. + 'r' or 'R' specifies that the memory pointed to by the parameter is only + read and does not escape + 'w' or 'W' specifies that the memory pointed to by the parameter does not + escape '.' specifies that nothing is known. - The uppercase letter in addition specifies that parameter - is non-escaping. + The uppercase letter in addition specifies that the memory pointed to + by the parameter is not dereferenced. For 'r' only read applies + transitively to pointers read from the pointed-to memory. character 3+2i specifies additional properties of argument number i as follows: |