Skip to content

Commit c05ba65

Browse files
authored
Update c26430.md
small edits
1 parent 97d5393 commit c05ba65

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

docs/code-quality/c26430.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -68,7 +68,7 @@ void merge_states(gsl::not_null<const state *> left, gsl::not_null<const state *
6868

6969
## Heuristics
7070

71-
This rule doesn't enforce every dereference of a pointer to have a prior null check to ensure the pointer isn't. Instead, it requires a null check before first dereference of the pointer. The following function doesn't trigger C26430:
71+
When ensuring that a dereference of a pointer isn't null, this rule doesn't require *every* dereference to have a prior null check. Instead, it requires a null check before *first* dereference of the pointer. The following function doesn't trigger C26430:
7272

7373
```cpp
7474
void f(int* p)
@@ -92,7 +92,7 @@ void f(bool b, int* p)
9292

9393
Rules [C26822](c26822.md) and [C26823](c26823.md) apply to dereferencing a (possibly) null pointer.
9494

95-
This rule doesn't have full data flow tracking. It can produce incorrect results in cases where indirect checks are used, such as when an intermediate variable holds a null value and is later used in a comparison.
95+
This rule doesn't do full data flow tracking. It can produce incorrect results in cases where indirect checks are used, such as when an intermediate variable holds a null value and is later used in a comparison.
9696

9797
## See also
9898

0 commit comments

Comments
 (0)