diff options
Diffstat (limited to 'docs/LangRef.html')
| -rw-r--r-- | docs/LangRef.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index 09e557f..a638e50 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -2842,8 +2842,8 @@ instruction.</p> <h5>Semantics:</h5> <p>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.</p> +after this instruction executes. If the pointer is null, the operation +is a noop.</p> <h5>Example:</h5> |