Cross Reference: /external/clang/test/Analysis/diagnostics/deref-track-symbolic-region.c

Lines Matching full:dereference
23   m += *syz.x; // expected-warning{{Dereference of null pointer (loaded from field 'x')}}
24   // expected-note@-1{{Dereference of null pointer (loaded from field 'x')}}
38   m = *p; // expected-warning {{Dereference of null pointer (loaded from variable 'p')}}
39           // expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}}
300 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from field &apos;x&apos;)</string>
302 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from field &apos;x&apos;)</string>
305 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from field &apos;x&apos;)</string>
307 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
640 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
642 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
645 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
647 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
OpenGrok
