Merge pull request #4918 from eholk/c6011-new-delete

Update C6011 documentation

Author: prmerger-automator[bot]

docs/code-quality/c6011.md

@@ -64,10 +64,33 @@ void f([Pre(Null=Yes)] char* pc)
 
 The careless use of `malloc` and `free` leads to memory leaks and exceptions. To minimize these kinds of leaks and exception problems altogether, avoid allocating raw memory yourself. Instead, use the mechanisms provided by the C++ Standard Library (STL). These include [`shared_ptr`](../standard-library/shared-ptr-class.md), [`unique_ptr`](../standard-library/unique-ptr-class.md), and [`vector`](../standard-library/vector.md). For more information, see [Smart Pointers](../cpp/smart-pointers-modern-cpp.md) and [C++ Standard Library](../standard-library/cpp-standard-library-reference.md).
 
+## Heuristics
+
+A heuristic used to reduce the number of warnings in legacy code assumes that a pointer is non-`NULL` unless there is evidence that it is `NULL`. In the examples we've seen so far, pointers returned by `malloc` or `new` might be `NULL` because allocation might fail. Another characteristic that the analysis engine uses as evidence of nullability is if the program explicitly checks for `NULL`. This is illustrated in the following examples:
+
+```cpp
+void f(int* n)
+{
+  *n = 1; // Does not warn, n is assumed to be non-null
+}
+
+void f(int* n)
+{
+  if (n) {
+    (*n)++;
+  }
+  *n = 1; // Warns because the earlier conditional shows that n might be null
+}
+```
+
+In the second case, the user can fix the warning by moving the `*n = 1` line inside the if block.
+
 ## See also
 
 - [Using SAL Annotations to reduce code defects](using-sal-annotations-to-reduce-c-cpp-code-defects.md)
 - [`NULL`](../c-runtime-library/null-crt.md)
 - [Indirection and Address-of Operators](../c-language/indirection-and-address-of-operators.md)
 - [`malloc`](../c-runtime-library/reference/malloc.md)
 - [`free`](../c-runtime-library/reference/free.md)
+- [`new` operator](../cpp/new-operator-cpp.md)
+- [`delete` operator](../cpp/delete-operator-cpp.md)