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

Fri Oct 1 03:17:23 PDT 2021

ASDenysPetrov added a comment.

In D110625#3035929 <https://reviews.llvm.org/D110625#3035929>, @steakhal wrote:

> I thought that `SVal::getType` should return an already canonical `QualType`. If it doesn't do that we would need to do canonicalization at each callsite, which is less than ideal IMO.
> If it's not yet canonical, we should probably canonicalize within the `getType()` function probably. WDYT?

I believe that it returns non-canonical type. Yes, we shall get canonical versions separately for most cases in practice. This is not ideal but it would be worse to return canonical types at once along with loss of extra information.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D110625