On 2/15/23 01:39, Martin Liška wrote:
> gcc/ChangeLog:
> 
> 	* doc/invoke.texi: Document --param=asan-kernel-mem-intrinsic-prefix.

I noticed this new text was missing Texinfo markup, so I've committed 
the attached followup patch.

I also wonder why this thing and several of the other asan things were 
added as parameters instead of options.  --param documentation is in the 
optimization options section, and the text before the table this new 
blurb was inserted into reads:

"In some places, GCC uses various constants to control the amount of
optimization that is done.  For example, GCC does not inline functions
that contain more than a certain number of instructions.  You can
control some of these constants on the command line using the
@option{--param} option. [...]"

I guess it is too late (at least for GCC 13) to change these things to 
be options and not parameters, but if we're now using --param for things 
other than avoiding hard-wired magic numbers in GCC's optimizers, we 
should probably move the --param documentation out of the optimization 
section and rewrite the description of what it's for.

-Sandra