Lines Matching +full:symbolic +full:- +full:ref

1 // RUN: %clang_cc1 -triple i386-apple-darwin10 -analyze -analyzer-checker=core,debug.ExprInspection…
19 // analyzer to explore both path - when the result is 0 and not. This makes
20 // sure that we definitely know that the result is non-0 (as the result of
84   return b->m; // no warning  in testMultipleLevelsOfSubclassing3()
90     return (dynamic_cast<B*>(a))->m;  in testLHS()
101   return b->m; // no warning  in testDynCastUnknown2()
113   return *res; // expected-warning {{Dereference of null pointer}}  in testDynCastUnknown()
120   return b->m; // expected-warning {{dereference of a null pointer}}  in testDynCastFail2()
126     return (*dynamic_cast<B*>(a)).m; // expected-warning {{Dereference of null pointer}}  in testLHSFail()
132   return b->m; // expected-warning {{dereference of a null pointer}}  in testBaseToDerivedFail()
137   return b->m; // expected-warning {{dereference of a null pointer}}  in testConstZeroFail()
143   return b->m; // expected-warning {{dereference of a null pointer}}  in testConstZeroFail2()
176   return *x; // expected-warning {{Dereference of null pointer}}  in testReferenceSuccessfulCast()
189 // Note, this might need special handling if we track types of symbolic casts
204   return *res; // expected-warning{{Dereference of null pointer}}  in testDynCastMostLikelyWillFail()
217   A &ref = obj;  in testDynCastToMiddleClass()  local
220   B *ptr = dynamic_cast<B*>(&ref);  in testDynCastToMiddleClass()
221   clang_analyzer_eval(ptr != 0); // expected-warning{{TRUE}}  in testDynCastToMiddleClass()
225   clang_analyzer_eval(ptr != 0); // expected-warning{{TRUE}}  in testDynCastToMiddleClass()
229 // -----------------------------
231 // -----------------------------
233 // Due to symbolic regions not being typed.
244   return *res; // expected-warning{{Dereference of null pointer}}  in testDynCastFalsePositive()
251   return b->m;  in testDynCastFail3()