diff options
Diffstat (limited to 'docs/UsersManual.rst')
-rw-r--r-- | docs/UsersManual.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/UsersManual.rst b/docs/UsersManual.rst index d7554a7425..04023dd206 100644 --- a/docs/UsersManual.rst +++ b/docs/UsersManual.rst @@ -1099,6 +1099,7 @@ are listed below. .. option:: -fstrict-vtable-pointers + Enable optimizations based on the strict rules for overwriting polymorphic C++ objects, i.e. the vptr is invariant during an object's lifetime. This enables better devirtualization. Turned off by default, because it is |