test/Analysis/ctor.mm

22   *(char *)0 = 1; // expected-warning{{Dereference of null pointer}}
35   clang_analyzer_eval(b.x == 42); // expected-warning{{TRUE}}
49   clang_analyzer_eval(b.x == 42); // expected-warning{{TRUE}}
87     clang_analyzer_eval(a == 1); // expected-warning{{TRUE}}
88     clang_analyzer_eval(b == 2); // expected-warning{{TRUE}}
89     clang_analyzer_eval(c == 3); // expected-warning{{TRUE}}
91     clang_analyzer_eval(obj.get() == 3); // expected-warning{{TRUE}}
95     clang_analyzer_eval(base->get() == 3); // expected-warning{{TRUE}}
103       clang_analyzer_checkInlined(true); // expected-warning{{TRUE}}
126     clang_analyzer_eval(result); // expected-warning{{TRUE}}
147       : x(Other.x), y(Other.y) // expected-warning {{undefined}}
151     : x(Other.x), y(Other.y) // expected-warning {{undefined}}
158       y = Other.y; // expected-warning {{undefined}}
164       y = Other.y; // expected-warning {{undefined}}
177         : x(Other.x), y(Other.y) // expected-warning {{undefined}}
181       : x(Other.x), y(Other.y) // expected-warning {{undefined}}
187         x = Other.x; // expected-warning {{undefined}}
193         x = Other.x; // expected-warning {{undefined}}
205     POD p2 = p; // no-warning
206     clang_analyzer_eval(p2.x == 1); // expected-warning{{TRUE}}
207     POD p3 = move(p); // no-warning
208     clang_analyzer_eval(p3.x == 1); // expected-warning{{TRUE}}
211     clang_analyzer_eval(POD(p3).x == 1); // expected-warning{{TRUE}}
215     PODWrapper w2 = w; // no-warning
216     clang_analyzer_eval(w2.p.y == 1); // expected-warning{{TRUE}}
217     PODWrapper w3 = move(w); // no-warning
218     clang_analyzer_eval(w3.p.y == 1); // expected-warning{{TRUE}}
221     clang_analyzer_eval(PODWrapper(w3).p.y == 1); // expected-warning{{TRUE}}
255       p2 = p; // no-warning
256       clang_analyzer_eval(p2.x == 1); // expected-warning{{TRUE}}
258       p3 = move(p); // no-warning
259       clang_analyzer_eval(p3.x == 1); // expected-warning{{TRUE}}
264       w2 = w; // no-warning
265       clang_analyzer_eval(w2.p.y == 1); // expected-warning{{TRUE}}
267       w3 = move(w); // no-warning
268       clang_analyzer_eval(w3.p.y == 1); // expected-warning{{TRUE}}
275       clang_analyzer_eval(&(p2 = p) == &p2); // expected-warning{{TRUE}}
280       clang_analyzer_eval(&(w2 = w) == &w2); // expected-warning{{TRUE}}
321     clang_analyzer_eval(a.values[0] == 1); // expected-warning{{TRUE}}
322     clang_analyzer_eval(a.values[1] == 2); // expected-warning{{TRUE}}
323     clang_analyzer_eval(a.values[2] == 3); // expected-warning{{TRUE}}
327     clang_analyzer_eval(b.values[0] == 1); // expected-warning{{TRUE}}
328     clang_analyzer_eval(b.values[1] == 2); // expected-warning{{TRUE}}
329     clang_analyzer_eval(b.values[2] == 3); // expected-warning{{TRUE}}
334     clang_analyzer_eval(c.values[0] == 1); // expected-warning{{TRUE}}
335     clang_analyzer_eval(c.values[1] == 2); // expected-warning{{TRUE}}
336     clang_analyzer_eval(c.values[2] == 3); // expected-warning{{TRUE}}
346     clang_analyzer_eval(a.values[1][0] == 1); // expected-warning{{TRUE}}
347     clang_analyzer_eval(a.values[1][1] == 2); // expected-warning{{TRUE}}
348     clang_analyzer_eval(a.values[1][2] == 3); // expected-warning{{TRUE}}
352     clang_analyzer_eval(b.values[1][0] == 1); // expected-warning{{TRUE}}
353     clang_analyzer_eval(b.values[1][1] == 2); // expected-warning{{TRUE}}
354     clang_analyzer_eval(b.values[1][2] == 3); // expected-warning{{TRUE}}
359     clang_analyzer_eval(c.values[1][0] == 1); // expected-warning{{TRUE}}
360     clang_analyzer_eval(c.values[1][1] == 2); // expected-warning{{TRUE}}
361     clang_analyzer_eval(c.values[1][2] == 3); // expected-warning{{TRUE}}
371     clang_analyzer_eval(a.values[0].x == 1); // expected-warning{{TRUE}}
372     clang_analyzer_eval(a.values[1].x == 2); // expected-warning{{TRUE}}
373     clang_analyzer_eval(a.values[2].x == 3); // expected-warning{{TRUE}}
377     clang_analyzer_eval(b.values[0].x == 1); // expected-warning{{TRUE}}
378     clang_analyzer_eval(b.values[1].x == 2); // expected-warning{{TRUE}}
379     clang_analyzer_eval(b.values[2].x == 3); // expected-warning{{TRUE}}
384     clang_analyzer_eval(c.values[0].x == 1); // expected-warning{{TRUE}}
385     clang_analyzer_eval(c.values[1].x == 2); // expected-warning{{TRUE}}
386     clang_analyzer_eval(c.values[2].x == 3); // expected-warning{{TRUE}}
396     clang_analyzer_eval(a.values[1][0].x == 1); // expected-warning{{TRUE}}
397     clang_analyzer_eval(a.values[1][1].x == 2); // expected-warning{{TRUE}}
398     clang_analyzer_eval(a.values[1][2].x == 3); // expected-warning{{TRUE}}
402     clang_analyzer_eval(b.values[1][0].x == 1); // expected-warning{{TRUE}}
403     clang_analyzer_eval(b.values[1][1].x == 2); // expected-warning{{TRUE}}
404     clang_analyzer_eval(b.values[1][2].x == 3); // expected-warning{{TRUE}}
409     clang_analyzer_eval(c.values[1][0].x == 1); // expected-warning{{TRUE}}
410     clang_analyzer_eval(c.values[1][1].x == 2); // expected-warning{{TRUE}}
411     clang_analyzer_eval(c.values[1][2].x == 3); // expected-warning{{TRUE}}
424     clang_analyzer_eval(a.values[0].x == 1); // expected-warning{{TRUE}}
425     clang_analyzer_eval(a.values[1].x == 2); // expected-warning{{TRUE}}
426     clang_analyzer_eval(a.values[2].x == 3); // expected-warning{{TRUE}}
430     clang_analyzer_eval(b.values[0].x == 1); // expected-warning{{UNKNOWN}}
431     clang_analyzer_eval(b.values[1].x == 2); // expected-warning{{UNKNOWN}}
432     clang_analyzer_eval(b.values[2].x == 3); // expected-warning{{UNKNOWN}}
437     clang_analyzer_eval(c.values[0].x == 1); // expected-warning{{UNKNOWN}}
438     clang_analyzer_eval(c.values[1].x == 2); // expected-warning{{UNKNOWN}}
439     clang_analyzer_eval(c.values[2].x == 3); // expected-warning{{UNKNOWN}}
455     clang_analyzer_eval(a.values[1][0].x == 1); // expected-warning{{TRUE}}
456     clang_analyzer_eval(a.values[1][1].x == 2); // expected-warning{{TRUE}}
457     clang_analyzer_eval(a.values[1][2].x == 3); // expected-warning{{TRUE}}
461     clang_analyzer_eval(b.values[1][0].x == 1); // expected-warning{{UNKNOWN}}
462     clang_analyzer_eval(b.values[1][1].x == 2); // expected-warning{{UNKNOWN}}
463     clang_analyzer_eval(b.values[1][2].x == 3); // expected-warning{{UNKNOWN}}
468     clang_analyzer_eval(c.values[1][0].x == 1); // expected-warning{{UNKNOWN}}
469     clang_analyzer_eval(c.values[1][1].x == 2); // expected-warning{{UNKNOWN}}
470     clang_analyzer_eval(c.values[1][2].x == 3); // expected-warning{{UNKNOWN}}
487     clang_analyzer_eval(a.values[0].x == 1); // expected-warning{{TRUE}}
488     clang_analyzer_eval(a.values[1].x == 2); // expected-warning{{TRUE}}
489     clang_analyzer_eval(a.values[2].x == 3); // expected-warning{{TRUE}}
493     clang_analyzer_eval(b.values[0].x == 1); // expected-warning{{UNKNOWN}}
494     clang_analyzer_eval(b.values[1].x == 2); // expected-warning{{UNKNOWN}}
495     clang_analyzer_eval(b.values[2].x == 3); // expected-warning{{UNKNOWN}}
500     clang_analyzer_eval(c.values[0].x == 1); // expected-warning{{UNKNOWN}}
501     clang_analyzer_eval(c.values[1].x == 2); // expected-warning{{UNKNOWN}}
502     clang_analyzer_eval(c.values[2].x == 3); // expected-warning{{UNKNOWN}}
526     clang_analyzer_eval(counter == 1); // expected-warning{{TRUE}}
536     clang_analyzer_eval(counter == 1); // expected-warning{{TRUE}}
548     clang_analyzer_eval(p.p1 == 0); // expected-warning{{TRUE}}
549     clang_analyzer_eval(p.p2 == 0); // expected-warning{{TRUE}}
553     clang_analyzer_eval(raw_pair().p1 == 0); // expected-warning{{TRUE}}
554     clang_analyzer_eval(raw_pair().p2 == 0); // expected-warning{{TRUE}}
559     clang_analyzer_eval(p[0].p1 == 0); // expected-warning{{TRUE}}
560     clang_analyzer_eval(p[0].p2 == 0); // expected-warning{{TRUE}}
561     clang_analyzer_eval(p[1].p1 == 0); // expected-warning{{TRUE}}
562     clang_analyzer_eval(p[1].p2 == 0); // expected-warning{{TRUE}}
568     clang_analyzer_eval(pp->p1 == 0); // expected-warning{{UNKNOWN}}
569     clang_analyzer_eval(pp->p2 == 0); // expected-warning{{UNKNOWN}}
575     clang_analyzer_eval(p[0].p1 == 0); // expected-warning{{UNKNOWN}}
576     clang_analyzer_eval(p[0].p2 == 0); // expected-warning{{UNKNOWN}}
577     clang_analyzer_eval(p[1].p1 == 0); // expected-warning{{UNKNOWN}}
578     clang_analyzer_eval(p[1].p2 == 0); // expected-warning{{UNKNOWN}}
590     clang_analyzer_eval(p.x == 0); // expected-warning{{TRUE}}
591     clang_analyzer_eval(p.y.p1 == 0); // expected-warning{{TRUE}}
592     clang_analyzer_eval(p.y.p2 == 0); // expected-warning{{TRUE}}
601     clang_analyzer_eval(p.p1 == 0); // expected-warning{{garbage}}
610     clang_analyzer_eval(p.p1 == 0); // expected-warning{{TRUE}}
611     clang_analyzer_eval(p.p2 == 0); // expected-warning{{TRUE}}
665     clang_analyzer_eval(!defaultCtor.usedInitializerList); // expected-warning{{TRUE}}
668     clang_analyzer_eval(list.usedInitializerList); // expected-warning{{TRUE}}
674     clang_analyzer_eval(list->usedInitializerList); // expected-warning{{UNKNOWN}}
686     use(a); // expected-warning{{uninitialized}}