Skip to content

Commit 67ce4e8

Browse files
authored
Apply suggestions from code review
Changed "see" to "sees" per Acrolinx and removed extra word (on 2 different lines).
1 parent 8918f4a commit 67ce4e8

File tree

4 files changed

+6
-6
lines changed

4 files changed

+6
-6
lines changed

docs/code-quality/c26822.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ helpviewer_keywords: ["C26822"]
88

99
# C26822: NULLPTR_DEREFERENCE
1010

11-
Dereferencing a null pointer is frequent problem in C and C++. We have a variety of checks to deal with such problems. See this [blog post](https://devblogs.microsoft.com/cppblog/improved-null-pointer-dereference-detection-in-visual-studio-2022-version-17-0-preview-4/) for a comparison. When the analysis engine deduces the value of a pointer to be null and see a dereference to that pointer it will emit a `C26822` warning. You can also enable [C26823](../code-quality/c26823.md) for a stricter analysis. This check also supports [SAL annotations](../code-quality/understanding-sal.md) and [`gsl::not_null`](https://github.com/microsoft/GSL) to describe invariants of the code.
11+
Dereferencing a null pointer is frequent problem in C and C++. We have a variety of checks to deal with such problems. See this [blog post](https://devblogs.microsoft.com/cppblog/improved-null-pointer-dereference-detection-in-visual-studio-2022-version-17-0-preview-4/) for a comparison. When the analysis engine deduces the value of a pointer to be null and sees a dereference to that pointer it will emit a `C26822` warning. You can also enable [C26823](../code-quality/c26823.md) for a stricter analysis. This check also supports [SAL annotations](../code-quality/understanding-sal.md) and [`gsl::not_null`](https://github.com/microsoft/GSL) to describe invariants of the code.
1212

1313

1414
## Example

docs/code-quality/c26823.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ helpviewer_keywords: ["C26823"]
88

99
# C26823: NULLPTR_DEREFERENCE_MAYBE
1010

11-
Dereferencing a null pointer is frequent problem in C and C++. We have a variety of checks to deal with such problems. See this [blog post](https://devblogs.microsoft.com/cppblog/improved-null-pointer-dereference-detection-in-visual-studio-2022-version-17-0-preview-4/) for a comparison. When the analysis engine deduces the value of a pointer might be null and see a dereference to that pointer it will emit a `C26823` warning. You can enable [C26822](../code-quality/c26822.md) only for a more permissive analysis. This check also supports [SAL annotations](../code-quality/understanding-sal.md) and [`gsl::not_null`](https://github.com/microsoft/GSL) to describe invariants of the code.
11+
Dereferencing a null pointer is frequent problem in C and C++. We have a variety of checks to deal with such problems. See this [blog post](https://devblogs.microsoft.com/cppblog/improved-null-pointer-dereference-detection-in-visual-studio-2022-version-17-0-preview-4/) for a comparison. When the analysis engine deduces the value of a pointer might be null and sees a dereference to that pointer it will emit a `C26823` warning. You can enable [C26822](../code-quality/c26822.md) only for a more permissive analysis. This check also supports [SAL annotations](../code-quality/understanding-sal.md) and [`gsl::not_null`](https://github.com/microsoft/GSL) to describe invariants of the code.
1212

1313

1414
## Example

docs/code-quality/c26824.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ helpviewer_keywords: ["C26824"]
88

99
# C26824: NULLPTR_POSTCONDITION_VIOLATION
1010

11-
Dereferencing a null pointer is frequent problem in C and C++. We have a variety of checks to deal with such problems. See this [blog post](https://devblogs.microsoft.com/cppblog/improved-null-pointer-dereference-detection-in-visual-studio-2022-version-17-0-preview-4/) for a comparison. When the analysis engine see a null pointer returned from a function that has a contract forbidding such operation, it will emit a `C26824` warning. You can also enable [C26825](../code-quality/c26825.md) for a stricter analysis. This check only works on functions annotated using [SAL annotations](../code-quality/understanding-sal.md).
11+
Dereferencing a null pointer is frequent problem in C and C++. We have a variety of checks to deal with such problems. See this [blog post](https://devblogs.microsoft.com/cppblog/improved-null-pointer-dereference-detection-in-visual-studio-2022-version-17-0-preview-4/) for a comparison. When the analysis engine sees a null pointer returned from a function that has a contract forbidding such operation, it will emit a `C26824` warning. You can also enable [C26825](../code-quality/c26825.md) for a stricter analysis. This check only works on functions annotated using [SAL annotations](../code-quality/understanding-sal.md).
1212

1313

1414
## Example
@@ -20,4 +20,4 @@ void postcondition_conditional(bool b, _When_(b == true, _Outptr_)
2020
}
2121
```
2222

23-
To solve this warning, make sure there is no null pointer is returned from the annotated function or change the annotations to reflect the behavior of the function.
23+
To solve this warning, make sure there is no null pointer returned from the annotated function or change the annotations to reflect the behavior of the function.

docs/code-quality/c26825.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ helpviewer_keywords: ["C26825"]
88

99
# C26825: NULLPTR_POSTCONDITION_VIOLATION_MAYBE
1010

11-
Dereferencing a null pointer is frequent problem in C and C++. We have a variety of checks to deal with such problems. See this [blog post](https://devblogs.microsoft.com/cppblog/improved-null-pointer-dereference-detection-in-visual-studio-2022-version-17-0-preview-4/) for a comparison. When the analysis engine see a potentially null pointer returned from a function that has a contract forbidding such operation, it will emit a `C26825` warning. You can enable [C26824](../code-quality/c26824.md) only for a more permissive analysis. This check only works on functions annotated using [SAL annotations](../code-quality/understanding-sal.md).
11+
Dereferencing a null pointer is frequent problem in C and C++. We have a variety of checks to deal with such problems. See this [blog post](https://devblogs.microsoft.com/cppblog/improved-null-pointer-dereference-detection-in-visual-studio-2022-version-17-0-preview-4/) for a comparison. When the analysis engine sees a potentially null pointer returned from a function that has a contract forbidding such operation, it will emit a `C26825` warning. You can enable [C26824](../code-quality/c26824.md) only for a more permissive analysis. This check only works on functions annotated using [SAL annotations](../code-quality/understanding-sal.md).
1212

1313

1414
## Example
@@ -19,4 +19,4 @@ void postcondition_conditional(int *q, _Outptr_ int** p) {
1919
}
2020
```
2121

22-
To solve this warning, make sure there is no null pointer is returned from the annotated function or change the annotations to reflect the behavior of the function.
22+
To solve this warning, make sure there is no null pointer returned from the annotated function or change the annotations to reflect the behavior of the function.

0 commit comments

Comments
 (0)