Lines Matching defs:ps

347 void struct_pointer_canon(struct s *ps) {
348   struct s ss = *ps;
349   clang_analyzer_dump((*ps).v);
350   // expected-warning-re@-1{{reg_${{[[:digit:]]+}}<int Element{SymRegion{reg_${{[[:digit:]]+}}<struct s * ps>},0 S64b,struct s}.v>}}
351   clang_analyzer_dump(ps[0].v);
352   // expected-warning-re@-1{{reg_${{[[:digit:]]+}}<int Element{SymRegion{reg_${{[[:digit:]]+}}<struct s * ps>},0 S64b,struct s}.v>}}
353   clang_analyzer_dump(ps->v);
354   // expected-warning-re@-1{{reg_${{[[:digit:]]+}}<int Element{SymRegion{reg_${{[[:digit:]]+}}<struct s * ps>},0 S64b,struct s}.v>}}
355   clang_analyzer_eval((*ps).v == ps[0].v); // expected-warning{{TRUE}}
356   clang_analyzer_eval((*ps).v == ps->v);   // expected-warning{{TRUE}}
357   clang_analyzer_eval(ps[0].v == ps->v);   // expected-warning{{TRUE}}
360 void struct_pointer_canon_bidim(struct s **ps) {
361   struct s ss = **ps;
362   clang_analyzer_eval(&(ps[0][0].v) == &((*ps)->v)); // expected-warning{{TRUE}}
367 void struct_pointer_canon_typedef(T1 *ps) {
368   T2 ss = *ps;
369   clang_analyzer_dump((*ps).v);
370   // expected-warning-re@-1{{reg_${{[[:digit:]]+}}<int Element{SymRegion{reg_${{[[:digit:]]+}}<T1 * ps>},0 S64b,struct s}.v>}}
371   clang_analyzer_dump(ps[0].v);
372   // expected-warning-re@-1{{reg_${{[[:digit:]]+}}<int Element{SymRegion{reg_${{[[:digit:]]+}}<T1 * ps>},0 S64b,struct s}.v>}}
373   clang_analyzer_dump(ps->v);
374   // expected-warning-re@-1{{reg_${{[[:digit:]]+}}<int Element{SymRegion{reg_${{[[:digit:]]+}}<T1 * ps>},0 S64b,struct s}.v>}}
375   clang_analyzer_eval((*ps).v == ps[0].v); // expected-warning{{TRUE}}
376   clang_analyzer_eval((*ps).v == ps->v);   // expected-warning{{TRUE}}
377   clang_analyzer_eval(ps[0].v == ps->v);   // expected-warning{{TRUE}}
380 void struct_pointer_canon_bidim_typedef(T1 **ps) {
381   T2 ss = **ps;
382   clang_analyzer_eval(&(ps[0][0].v) == &((*ps)->v)); // expected-warning{{TRUE}}
385 void struct_pointer_canon_const(const struct s *ps) {
386   struct s ss = *ps;
387   clang_analyzer_dump((*ps).v);
388   // expected-warning-re@-1{{reg_${{[[:digit:]]+}}<int Element{SymRegion{reg_${{[[:digit:]]+}}<const struct s * ps>},0 S64b,struct s}.v>}}
389   clang_analyzer_dump(ps[0].v);
390   // expected-warning-re@-1{{reg_${{[[:digit:]]+}}<int Element{SymRegion{reg_${{[[:digit:]]+}}<const struct s * ps>},0 S64b,struct s}.v>}}
391   clang_analyzer_dump(ps->v);
392   // expected-warning-re@-1{{reg_${{[[:digit:]]+}}<int Element{SymRegion{reg_${{[[:digit:]]+}}<const struct s * ps>},0 S64b,struct s}.v>}}
393   clang_analyzer_eval((*ps).v == ps[0].v); // expected-warning{{TRUE}}
394   clang_analyzer_eval((*ps).v == ps->v);   // expected-warning{{TRUE}}
395   clang_analyzer_eval(ps[0].v == ps->v);   // expected-warning{{TRUE}}