Lines Matching refs:k31
657 struct kk k31;
658 k31.s2 = strdup("hello");
659 k31.u.x = 1;
661 memcpy(k31.u.s1, input, 4);
662 clang_analyzer_eval(k31.u.s1[0] == 1); // expected-warning{{UNKNOWN}}\
663 expected-warning{{Potential leak of memory pointed to by 'k31.s2'}}
664 clang_analyzer_eval(k31.u.s1[1] == 1); // expected-warning{{UNKNOWN}}
665 clang_analyzer_eval(k31.u.s1[2] == 1); // expected-warning{{UNKNOWN}}
666 clang_analyzer_eval(k31.u.s1[3] == 1); // expected-warning{{UNKNOWN}}
667 clang_analyzer_eval(k31.u.x == 1); // expected-warning{{UNKNOWN}}
668 // FIXME: memory leak warning for k31.s2 should be emitted here.
