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

Denys Petrov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Sep 30 08:42:54 PDT 2021


ASDenysPetrov added a comment.

I think we need to get canonical types.
Check, please, aliased types:

  struct s {
    int v;
  };
  using T1 = s;
  typedef s T2;
  void foo(T1 *ps) {
    T2 ss = *ps;
    ...
  }


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D110625



More information about the cfe-commits mailing list