We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2261812 commit 2b00ac1Copy full SHA for 2b00ac1
clang/test/Sema/strict-nullability.c
@@ -16,8 +16,6 @@ void takes_nonnull(int * _Nonnull p) {
16
void takes_nullable(int* p) {
17
if (p) {// Need null check for nullable
18
*p = 42;
19
- // TODO: Invalidate narrowing after function calls that could modify the pointer
20
- // (see Phase 4 - narrowing invalidation)
21
*p = 23;
22
} else {
23
*p=7; // expected-warning{{dereferencing nullable pointer of type 'int * _Nullable'}}
0 commit comments