[PATCH] D93422: [LangRef] Update new ssp/sspstrong/sspreq semantics after D91816

[Fangrui Song via Phabricator via llvm-commits]

MaskRay created this revision.
MaskRay added reviewers: nickdesaulniers, pcc, rnk.
Herald added a subscriber: jdoerfert.
MaskRay requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D93422

Files:
  llvm/docs/LangRef.rst


Index: llvm/docs/LangRef.rst
===================================================================
--- llvm/docs/LangRef.rst
+++ llvm/docs/LangRef.rst
@@ -1840,13 +1840,12 @@
     Variables that are identified as requiring a protector will be arranged
     on the stack such that they are adjacent to the stack protector guard.
 
-    If a function that has an ``ssp`` attribute is inlined into a
-    function that doesn't have an ``ssp`` attribute, then the resulting
-    function will have an ``ssp`` attribute.
+    A function with the ``ssp`` attribute cannot be inlined into a function
+    without a ``ssp/sspreq/sspstrong`` attribute.
 ``sspreq``
-    This attribute indicates that the function should *always* emit a
-    stack smashing protector. This overrides the ``ssp`` function
-    attribute.
+    This attribute indicates that the function should *always* emit a stack
+    smashing protector. This overrides the ``ssp`` and ``sspstrong`` function
+    attributes.
 
     Variables that are identified as requiring a protector will be arranged
     on the stack such that they are adjacent to the stack protector guard.
@@ -1859,10 +1858,10 @@
     #. Variables that have had their address taken are 3rd closest to the
        protector.
 
-    If a function that has an ``sspreq`` attribute is inlined into a
-    function that doesn't have an ``sspreq`` attribute or which has an
-    ``ssp`` or ``sspstrong`` attribute, then the resulting function will have
-    an ``sspreq`` attribute.
+    A function with the ``sspreq`` attribute cannot be inlined into a function
+    without a ``ssp/sspreq/sspstrong`` attribute. If a function with the
+    ``sspreq`` attribute is inlined into a function with a ``ssp/sspstrong``
+    attribute, the attribute in the caller will upgrade to ``sspreq``.
 ``sspstrong``
     This attribute indicates that the function should emit a stack smashing
     protector. This attribute causes a strong heuristic to be used when
@@ -1887,9 +1886,10 @@
 
     This overrides the ``ssp`` function attribute.
 
-    If a function that has an ``sspstrong`` attribute is inlined into a
-    function that doesn't have an ``sspstrong`` attribute, then the
-    resulting function will have an ``sspstrong`` attribute.
+    A function with the ``sspstrong`` attribute cannot be inlined into a
+    function without a ``ssp/sspreq/sspstrong`` attribute. If a function with
+    the ``sspstrong`` attribute is inlined into a function with the ``ssp``
+    attribute, the attribute in the caller will upgrade to ``sspreq``.
 ``strictfp``
     This attribute indicates that the function was called from a scope that
     requires strict floating-point semantics.  LLVM will not attempt any


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D93422.312308.patch
Type: text/x-patch
Size: 2726 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20201216/1e7a402d/attachment.bin>