Skip to content

Commit e7fa61d

Browse files
committed
Apply Tyler's suggestion
1 parent 57a1559 commit e7fa61d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/code-quality/c6011.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -66,7 +66,7 @@ The careless use of `malloc` and `free` leads to memory leaks and exceptions. To
6666
6767
## Heuristics
6868
69-
Code analysis assumes pointers are non-null unless there is some evidence that they might be null, which is a heuristic used to reduce the number of warnings in legacy code. 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:
69+
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:
7070
7171
```cpp
7272
void f(int* n)

0 commit comments

Comments
 (0)