[PATCH] D110625: [analyzer] canonicalize special case of structure/pointer deref

[Gabor Marton via Phabricator via cfe-commits]

martong added a comment.

Thanks Vince! Nice work!

Do you think it would be worth to have a test that checks the equality of a double pointer and a bi-dimensional array? Something like:

  void struct_pointer_canon(struct s **ps) {
    struct s ss = **ps;
    clang_analyzer_eval(&(ps[0][0].v) == &((*ps)->v)); // expected-warning{{TRUE}}
  }


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D110625/new/

https://reviews.llvm.org/D110625