Home | History | Annotate | Download | only in Analysis

Lines Matching full:warning

15   else *p = 0; // expected-warning{{ereference}}
27 return p->x++; // expected-warning{{Access to field 'x' results in a dereference of a null pointer (loaded from variable 'p')}}
37 return x[i+1]; // expected-warning{{Array access (from variable 'x') results in a null pointer dereference}}
47 return x[i+1]++; // expected-warning{{Array access (from variable 'x') results in a null pointer dereference}}
58 return *q; // expected-warning{{Dereference of null pointer (loaded from variable 'q')}}
63 uintptr_t x = array; // expected-warning{{incompatible pointer to integer conversion}}
64 short *p = x; // expected-warning{{incompatible integer to pointer conversion}}
69 *p = 1; // no-warning
73 *p = 5; // no-warning
76 else return; // expected-warning {{non-void function 'f4_b' should return a value}}
78 *p += 10; // expected-warning{{Dereference of null pointer}}
85 return s[0]; // no-warning
91 return !p ? bar(p, 1) // expected-warning {{Null pointer passed as an argument to a 'nonnull' parameter}}
92 : bar(p, 0); // no-warning
98 return !p ? bar2(p, 1) // expected-warning {{Null pointer passed as an argument to a 'nonnull' parameter}}
99 : bar2(p, 0); // no-warning
105 return !p ? bar3(q, 2, p) // expected-warning {{Null pointer passed as an argument to a 'nonnull' parameter}}
106 : bar3(p, 2, q); // no-warning
114 *q = 0xDEADBEEF; // no-warning
133 *p = 1; // no-warning
146 *p = 1; // no-warning
162 *p = 1; // no-warning
176 *p = 1; // expected-warning{{null}}
184 *p = 1; // no-warning
188 *q = 1; // no-warning
201 return *p++; // no-warning
212 return *p++; // no-warning
230 *p = 5; // no-warning
238 if (i >= 0) { // expected-warning{{always true}}
241 *x = 42; // no-warning
250 *x = 42; // no-warning
274 *p = 1; // no-warning
289 pr4759_aux(p); // expected-warning{{Function call argument is an uninitialized value}}
311 return *p; // no-warning
318 return _get_base()[slot]; // no-warning
322 *cpu_data = 3; // no-warning
329 ret = data->member; // no-warning