[PATCH] D128068: [analyzer] Do not emit redundant SymbolCasts

Gabor Marton via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Jul 5 09:38:12 PDT 2022


martong added a comment.

In D128068#3594171 <https://reviews.llvm.org/D128068#3594171>, @steakhal wrote:

>> We can't just do that check in `evalCast` because there are many additonal logic before we'd end up in `makeNonLoc`.
>
> I'm not exactly up to date. Could you please extend the summary with an example to underpin this statement prior to committing?

Yeah, okay, I've updated the summary and will do so with the commit message as well.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D128068



More information about the cfe-commits mailing list