diff options
Diffstat (limited to 'clang/test/Analysis/diagnostics')
3 files changed, 13 insertions, 12 deletions
diff --git a/clang/test/Analysis/diagnostics/Inputs/expected-plists/deref-track-symbolic-region.c.plist b/clang/test/Analysis/diagnostics/Inputs/expected-plists/deref-track-symbolic-region.c.plist index 35b14fba4c8..47c3b8df09c 100644 --- a/clang/test/Analysis/diagnostics/Inputs/expected-plists/deref-track-symbolic-region.c.plist +++ b/clang/test/Analysis/diagnostics/Inputs/expected-plists/deref-track-symbolic-region.c.plist @@ -165,9 +165,9 @@ </array> <key>depth</key><integer>0</integer> <key>extended_message</key> - <string>Assuming pointer value is null</string> + <string>Assuming field 'x' is null</string> <key>message</key> - <string>Assuming pointer value is null</string> + <string>Assuming field 'x' is null</string> </dict> <dict> <key>kind</key><string>control</string> @@ -454,9 +454,9 @@ </array> <key>depth</key><integer>0</integer> <key>extended_message</key> - <string>Assuming pointer value is null</string> + <string>Assuming field 'x' is null</string> <key>message</key> - <string>Assuming pointer value is null</string> + <string>Assuming field 'x' is null</string> </dict> <dict> <key>kind</key><string>control</string> diff --git a/clang/test/Analysis/diagnostics/deref-track-symbolic-region.c b/clang/test/Analysis/diagnostics/deref-track-symbolic-region.c index 63d0971b85d..1a1190f934d 100644 --- a/clang/test/Analysis/diagnostics/deref-track-symbolic-region.c +++ b/clang/test/Analysis/diagnostics/deref-track-symbolic-region.c @@ -15,8 +15,8 @@ void test(struct S syz, int *pp) { struct S *ps = &syz; if (ps->x) - //expected-note@-1{{Taking false branch}} - //expected-note@-2{{Assuming pointer value is null}} + //expected-note@-1{{Assuming field 'x' is null}} + //expected-note@-2{{Taking false branch}} m++; @@ -30,8 +30,8 @@ void testTrackConstraintBRVisitorIsTrackingTurnedOn(struct S syz, int *pp) { struct S *ps = &syz; if (ps->x) - //expected-note@-1{{Taking false branch}} - //expected-note@-2{{Assuming pointer value is null}} + //expected-note@-1{{Assuming field 'x' is null}} + //expected-note@-2{{Taking false branch}} m++; int *p = syz.x; //expected-note {{'p' initialized to a null pointer value}} diff --git a/clang/test/Analysis/diagnostics/dtors.cpp b/clang/test/Analysis/diagnostics/dtors.cpp index b3fe7ec803a..18bedc61f98 100644 --- a/clang/test/Analysis/diagnostics/dtors.cpp +++ b/clang/test/Analysis/diagnostics/dtors.cpp @@ -16,10 +16,11 @@ struct smart_ptr { S *s; smart_ptr(S *); S *get() { - return (x || 0) ? nullptr : s; // expected-note{{Left side of '||' is false}} - // expected-note@-1{{'?' condition is false}} - // expected-warning@-2{{Use of memory after it is freed}} - // expected-note@-3{{Use of memory after it is freed}} + return (x || 0) ? nullptr : s; // expected-note{{Field 'x' is 0}} + // expected-note@-1{{Left side of '||' is false}} + // expected-note@-2{{'?' condition is false}} + // expected-warning@-3{{Use of memory after it is freed}} + // expected-note@-4{{Use of memory after it is freed}} } }; |
