diff options
Diffstat (limited to 'clang/test/Analysis/diagnostics/deref-track-symbolic-region.c')
| -rw-r--r-- | clang/test/Analysis/diagnostics/deref-track-symbolic-region.c | 8 |
1 files changed, 4 insertions, 4 deletions
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}} |
