[PATCH] D136603: [analyzer] Model cast after LValueToRValueBitCasts

Gabor Marton via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Oct 25 08:32:24 PDT 2022


martong added a comment.

> PS: I'm not sure how/when we should get rid of the LocAsInteger and
> represent this by a SymbolCast.
> Maybe @ASDenysPetrov or @martong could help me review this.

Whenever this https://reviews.llvm.org/D117229 gets accepted and when we emit all symbolCasts for all integers. (`-analyzer-config support-symbolic-integer-casts=true` should be default by then)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D136603



More information about the cfe-commits mailing list