diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst
--- a/llvm/docs/LangRef.rst
+++ b/llvm/docs/LangRef.rst
@@ -1110,8 +1110,9 @@
     This indicates that objects accessed via pointer values
     :ref:`based <pointeraliasing>` on the argument or return value are not also
     accessed, during the execution of the function, via pointer values not
-    *based* on the argument or return value. The attribute on a return value
-    also has additional semantics described below. The caller shares the
+    *based* on the argument or return value, if the object is modified, by any
+    means, during the execution of the function. The attribute on a return
+    value also has additional semantics described below. The caller shares the
     responsibility with the callee for ensuring that these requirements are met.
     For further details, please see the discussion of the NoAlias response in
     :ref:`alias analysis <Must, May, or No>`.