Confirm merge from FromPublicMasterBranch to master to sync with https://github.com/MicrosoftDocs/cpp-docs (branch master) (#593)

openpublishbuild · Colin Robertson · commit ea84859d08cd · 2018-02-12T14:12:45.000-08:00
* Update cricheditctrl-class.md LineLength is a wrapper of EM_LINELENGTH, which returns length in characters not bytes. * Update csettingsstore-class.md contraction between the meaning of bAdmin in the parameters and remarks section of CSettingsStore::CSettingsStore * Update clistbox-class_23.cpp the buffer required by later code would be 16 bytes in ANSI and 32 bytes in Unicode, preallocating 10 bytes is useless. * Fix unwind opcode values * Update algorithm.md Fix minor typo in Remarks section * Undesired indentation in CFile. Fix for undesired indentation in CFile constructor documentation. * Update cricheditctrl-class.md clarify that length is in TCHARs, add situations when index is out of bound, and when there's a carriage return based on EM_LINELENGTH docs * Update compiler-warning-level-4-c4295.md Clarify warning intent and ways to fix it, per comment by Kinichiro_Inoguchi * Fix type error on the namespace * Merge to live for offline publishing (MicrosoftDocs#532) * Confirm merge from FromPublicMasterBranch to master to sync with https://github.com/MicrosoftDocs/cpp-docs (branch master) (#527) * Update cricheditctrl-class.md LineLength is a wrapper of EM_LINELENGTH, which returns length in characters not bytes. * Update csettingsstore-class.md contraction between the meaning of bAdmin in the parameters and remarks section of CSettingsStore::CSettingsStore * Update clistbox-class_23.cpp the buffer required by later code would be 16 bytes in ANSI and 32 bytes in Unicode, preallocating 10 bytes is useless. * Fix unwind opcode values * Update algorithm.md Fix minor typo in Remarks section * Undesired indentation in CFile. Fix for undesired indentation in CFile constructor documentation. * Update cricheditctrl-class.md clarify that length is in TCHARs, add situations when index is out of bound, and when there's a carriage return based on EM_LINELENGTH docs * Update compiler-warning-level-4-c4295.md Clarify warning intent and ways to fix it, per comment by Kinichiro_Inoguchi * Fix type error on the namespace * Add /Zc:ternary switch docs (#525) * Create topic, not linked yet * Include links in TOC and overview * Fix dash * Add link to Zc:ternary to permissive * Fix link typo * fixed up art files for VC++ directories (#529) * CMake updates for 15.6 (#524) * added new content on cmake cache import * added new art for cmake * updates to cmake tools intro * new art for 15.6 updates * updates for environment variables and inherited environments * proofreading pass * updated art for what's new page (MicrosoftDocs#528) * Second attempt at merge (#531) * added new content on cmake cache import * added new art for cmake * updates to cmake tools intro * new art for 15.6 updates * updates for environment variables and inherited environments * proofreading pass * Update cmake-tools-for-visual-cpp.md (MicrosoftDocs#530) I played editor in this file. I only meant to change one thing, but it was hard to stop. * [mkdir-wmkdir.md] Fix wrong indentation Remove redundant spaces in the code. * Change integer limits and header name to use standard names. * Fix double code quote. * Fix indentation [ _rotl ] * Update get-wpgmptr.md Mention entry point restriction on using _get_wpgmptr() - only for programs for wide entry points. * Update get-pgmptr.md Mention entry point restriction on calling _get_pgmptr * Fix formatting * Remove __declspec(restrict) from example Remove __declspec(restrict) from example to make it clearer what is going on. I'm submitting a second PR that updates __declspec(restrict) to have its own example. Clean up other text. * Update date, formatting and some wording.
diff --git a/docs/cpp/noalias.md b/docs/cpp/noalias.md
@@ -1,7 +1,7 @@
 ---
 title: "noalias | Microsoft Docs"
 ms.custom: ""
-ms.date: "11/04/2016"
+ms.date: "02/09/2018"
 ms.reviewer: ""
 ms.suite: ""
 ms.technology: ["cpp-language"]
@@ -25,13 +25,15 @@ ms.workload: ["cplusplus"]
 
 If a function is annotated as `noalias`, the optimizer can assume that, in addition to the parameters themselves, only first-level indirections of pointer parameters are referenced or modified inside the function. The visible global state is the set of all data that is not defined or referenced outside of the compilation scope, and their address is not taken. The compilation scope is all source files ([/LTCG (Link-time Code Generation)](../build/reference/ltcg-link-time-code-generation.md) builds) or a single source file (non-**/LTCG** build).
 
-## Example
+The `noalias` annotation only applies within the body of the annotated function. Marking a function as `__declspec(noalias)` does not affect the aliasing of pointers returned by the function.
+
+For another annotation that can impact aliasing, see [__declspec(restrict)](../cpp/restrict.md).
 
-The following sample demonstrates using `__declspec(restrict)` and `__declspec(noalias)`. Normally, memory returned from `malloc` is `restrict` because the CRT headers are decorated appropriately.
+## Example
 
-However, in this example, the pointers `mempool` and `memptr` are global so the compiler has no assurance that the memory is not subject to aliasing. Decorating the functions that return pointers with `__declspec(restrict)` tells the compiler that the memory pointed to by the return value is not aliased.
+The following sample demonstrates the use of `__declspec(noalias)`.
 
-Decorating the function in the example that accesses memory with `__declspec(noalias)` tells the compiler that this function does not interfere with the global state except through the pointers in its parameter list.
+When the function `multiply` that accesses memory is annotated `__declspec(noalias)`, it tells the compiler that this function does not modify the global state except through the pointers in its parameter list.
 
 ```C
 // declspec_noalias.c
@@ -44,15 +46,15 @@ Decorating the function in the example that accesses memory with `__declspec(noa
 
 float * mempool, * memptr;
 
-__declspec(restrict) float * ma(int size)
+float * ma(int size)
 {
     float * retval;
     retval = memptr;
     memptr += size;
     return retval;
 }
 
-__declspec(restrict) float * init(int m, int n)
+float * init(int m, int n)
 {
     float * a;
     int i, j;
@@ -94,12 +96,13 @@ int main()
     a = init(M, N);
     b = init(N, P);
     c = init(M, P);
-
+ 
     multiply(a, b, c);
 }
 ```
 
 ## See Also
 
 [__declspec](../cpp/declspec.md)  
-[Keywords](../cpp/keywords-cpp.md)
+[Keywords](../cpp/keywords-cpp.md)  
+[__declspec(restrict)](../cpp/restrict.md)  
