diff --git a/docs/LangRef.html b/docs/LangRef.html index 09e557f2159..a638e508805 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -2842,8 +2842,8 @@ instruction.

Semantics:

Access to the memory pointed to by the pointer is no longer defined -after this instruction executes. If the pointer is null, the behavior is -undefined.

+after this instruction executes. If the pointer is null, the operation +is a noop.

Example: