Lines Matching refs:z38
836 int f38(struct zz * z38) { in f38() argument
839 z38->s1[0] = 0; in f38()
840 z38->s1[1] = 1; in f38()
841 z38->s1[2] = 2; in f38()
842 z38->s1[3] = 3; in f38()
843 z38->s2 = 10; in f38()
845 z38 = (struct zz *)((char*)(z38) - 2); // Decrement by 2 bytes (struct zz is 8 bytes). in f38()
847 z38->s1[0] = 4; in f38()
848 z38->s1[1] = 5; in f38()
849 z38->s1[2] = 6; in f38()
850 z38->s1[3] = 7; in f38()
851 z38->s2 = 11; in f38()
853 memcpy(z38->s1, input, 4); in f38()
855 clang_analyzer_eval(z38->s1[0] == 1); // expected-warning{{UNKNOWN}} in f38()
856 clang_analyzer_eval(z38->s1[1] == 1); // expected-warning{{UNKNOWN}} in f38()
857 clang_analyzer_eval(z38->s1[2] == 1); // expected-warning{{UNKNOWN}} in f38()
858 clang_analyzer_eval(z38->s1[3] == 1); // expected-warning{{UNKNOWN}} in f38()
859 clang_analyzer_eval(z38->s2 == 11); // expected-warning{{TRUE}} in f38()
861 z38 = (struct zz *)((char*)(z38) + 2); // Increment back. in f38()
863 clang_analyzer_eval(z38->s1[0] == 1); // expected-warning{{UNKNOWN}} in f38()
864 clang_analyzer_eval(z38->s1[1] == 1); // expected-warning{{UNKNOWN}} in f38()
865 clang_analyzer_eval(z38->s1[2] == 11); // expected-warning{{TRUE}} in f38()
866 clang_analyzer_eval(z38->s1[3] == 1); // expected-warning{{UNKNOWN}} in f38()
867 clang_analyzer_eval(z38->s2 == 10); // expected-warning{{UNKNOWN}} in f38()