MatCat.OpenSource/8sa1-binutils-gdb
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix memory tagging section type

Browse Source 
It was reported to me that on Ubuntu 14.04 (fairly old) the documentation
fails to build with the following:

gdb/doc/gdb.texinfo:10888: warning: node `Memory' is up for `Memory Tagging' in sectioning but not in menu
gdb/doc/gdb.texinfo:10693: node `Memory' lacks menu item for `Memory Tagging' despite being its Up target
Makefile:491: recipe for target 'gdb.info' failed
make[3]: *** [gdb.info] Error 1

This doesn't seem to happen on Ubuntu 18.04/20.04, but it does make sense.

Fix this by turning @subsection into a @section and adding the
"Memory Tagging" entry to the menu.

gdb/doc/ChangeLog:

2021-03-29  Luis Machado  <luis.machado@linaro.org>

	* gdb.textinfo (Memory Tagging): Make it a @section.
This commit is contained in:
Luis Machado 2021-03-26 09:37:56 -03:00
parent aa33ea6833
commit fa167b002f
2 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gdb/doc/ChangeLog
View File

@ -1,3 +1,7 @@
2021-03-29 Luis Machado <luis.machado@linaro.org>
* gdb.textinfo (Memory Tagging): Make it a @section.
2021-03-24 Luis Machado <luis.machado@linaro.org>
* gdb.texinfo (Data): Document memory tagging changes to the "print"

3
gdb/doc/gdb.texinfo
View File

@ -10118,6 +10118,7 @@ being passed the type of @var{arg} as the argument.
* Arrays:: Artificial arrays
* Output Formats:: Output formats
* Memory:: Examining memory
* Memory Tagging:: Memory Tagging
* Auto Display:: Automatic display
* Print Settings:: Print settings
* Pretty Printing:: Python pretty printing
@ -10886,7 +10887,7 @@ target supports computing the CRC checksum of a block of memory
@end table
@node Memory Tagging
@subsection Memory Tagging
@section Memory Tagging
Memory tagging is a memory protection technology that uses a pair of tags to
validate memory accesses through pointers. The tags are integer values