From 040a4493a64b308366d1d2fcb5611143d90c3c6d Mon Sep 17 00:00:00 2001 From: Sandra Loosemore Date: Mon, 18 Dec 2017 00:38:59 -0500 Subject: [PATCH] extend.texi (x86 Function Attributes): Reformat nocf_check example to avoid overfull hbox. 2017-12-17 Sandra Loosemore gcc/ * doc/extend.texi (x86 Function Attributes): Reformat nocf_check example to avoid overfull hbox. * doc/invoke.texi (Option Summary): Add missing @gol. (C++ Dialect Options): Reformat -Wnoexcept-type example to avoid overfull hbox. From-SVN: r255774 --- gcc/ChangeLog | 8 ++++++++ gcc/doc/extend.texi | 20 +++++++++++++------- gcc/doc/invoke.texi | 10 ++++++++-- 3 files changed, 29 insertions(+), 9 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6a6d0181829..2a875d3ae7b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2017-12-17 Sandra Loosemore + + * doc/extend.texi (x86 Function Attributes): Reformat nocf_check + example to avoid overfull hbox. + * doc/invoke.texi (Option Summary): Add missing @gol. + (C++ Dialect Options): Reformat -Wnoexcept-type example to avoid + overfull hbox. + 2017-12-17 Sandra Loosemore Kyrylo Tkachov diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi index 57c436b08e7..677897bba38 100644 --- a/gcc/doc/extend.texi +++ b/gcc/doc/extend.texi @@ -5765,21 +5765,27 @@ int foo (void) __attribute__(nocf_check); void (*foo1)(void) __attribute__(nocf_check); void (*foo2)(void); +/* foo's address is assumed to be valid. */ int -foo (void) /* The function's address is assumed to be valid. */ +foo (void) - /* This call site is not checked for control-flow validity. */ + /* This call site is not checked for control-flow + validity. */ (*foo1)(); - foo1 = foo2; /* A warning is printed about attribute mismatch. */ - /* This call site is still not checked for control-flow validity. */ + /* A warning is issued about attribute mismatch. */ + foo1 = foo2; + + /* This call site is still not checked. */ (*foo1)(); - /* This call site is checked for control-flow validity. */ + /* This call site is checked. */ (*foo2)(); - foo2 = foo1; /* A warning is printed about attribute mismatch. */ - /* This call site is still checked for control-flow validity. */ + /* A warning is issued about attribute mismatch. */ + foo2 = foo1; + + /* This call site is still checked. */ (*foo2)(); return 0; diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index a5f07e9eb52..2049c2789db 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -549,7 +549,7 @@ Objective-C and Objective-C++ Dialects}. -fdisable-tree-@var{pass-name}=@var{range-list} @gol -fdump-noaddr -fdump-unnumbered -fdump-unnumbered-links @gol -fdump-class-hierarchy@r{[}-@var{n}@r{]} @gol --fdump-final-insns@r{[}=@var{file}@r{]} +-fdump-final-insns@r{[}=@var{file}@r{]} @gol -fdump-ipa-all -fdump-ipa-cgraph -fdump-ipa-inline @gol -fdump-lang-all @gol -fdump-lang-@var{switch} @gol @@ -2935,12 +2935,18 @@ Warn if the C++17 feature making @code{noexcept} part of a function type changes the mangled name of a symbol relative to C++14. Enabled by @option{-Wabi} and @option{-Wc++17-compat}. +As an example: + @smallexample template void f(T t) @{ t(); @}; void g() noexcept; -void h() @{ f(g); @} // in C++14 calls f, in C++17 calls f +void h() @{ f(g); @} @end smallexample +@noindent +In C++14, @code{f} calls calls @code{f}, but in +C++17 it calls @code{f}. + @item -Wclass-memaccess @r{(C++ and Objective-C++ only)} @opindex Wclass-memaccess Warn when the destination of a call to a raw memory function such as -- 2.30.2