Home | History | Annotate | Download | only in Analysis

Lines Matching defs:a20

369   struct aa * a20 = malloc(sizeof(struct aa) * 2);
370 a20[0].s1[0] = 1;
371 a20[0].s1[1] = 2;
372 a20[0].s1[2] = 3;
373 a20[0].s1[3] = 4;
374 a20[0].s2 = strdup("hello");
375 a20[1].s1[0] = 5;
376 a20[1].s1[1] = 6;
377 a20[1].s1[2] = 7;
378 a20[1].s1[3] = 8;
379 a20[1].s2 = strdup("world");
380 a20[i].s2 = strdup("hola");
382 memcpy(a20[0].s1, input, 4);
383 clang_analyzer_eval(a20[0].s1[0] == 1); // expected-warning{{UNKNOWN}}
384 clang_analyzer_eval(a20[0].s1[1] == 1); // expected-warning{{UNKNOWN}}
385 clang_analyzer_eval(a20[0].s1[2] == 1); // expected-warning{{UNKNOWN}}
386 clang_analyzer_eval(a20[0].s1[3] == 1); // expected-warning{{UNKNOWN}}
387 clang_analyzer_eval(a20[0].s2 == 0); // expected-warning{{UNKNOWN}}
388 clang_analyzer_eval(a20[1].s1[0] == 1); // expected-warning{{UNKNOWN}}
389 clang_analyzer_eval(a20[1].s1[1] == 1); // expected-warning{{UNKNOWN}}
390 clang_analyzer_eval(a20[1].s1[2] == 1); // expected-warning{{UNKNOWN}}
391 clang_analyzer_eval(a20[1].s1[3] == 1); // expected-warning{{UNKNOWN}}
392 clang_analyzer_eval(a20[1].s2 == 0); // expected-warning{{UNKNOWN}}
393 clang_analyzer_eval(a20[i].s1[0] == 1); // expected-warning{{UNKNOWN}}
394 clang_analyzer_eval(a20[i].s1[1] == 1); // expected-warning{{UNKNOWN}}
395 clang_analyzer_eval(a20[i].s1[2] == 1); // expected-warning{{UNKNOWN}}
396 clang_analyzer_eval(a20[i].s1[3] == 1); // expected-warning{{UNKNOWN}}
397 clang_analyzer_eval(a20[i].s2 == 0); // expected-warning{{UNKNOWN}}\
398 expected-warning{{Potential leak of memory pointed to by 'a20'}}