[PATCH] D128535: [analyzer] Improve loads from reinterpret-cast fields

[Balázs Benics via Phabricator via cfe-commits]

steakhal added a comment.

No runtime diff. No crashes.
8 disappeared:

- 4 core.CallAndMessage (1st arg is uninitialized)
- 2 alpha.deadcode.UnreachableCode (sinked before reaching it)
- 2 core.UndefinedBinaryOperatorResult

2 new reports:

- 1 core.UndefinedBinaryOperatorResult
- 1 alpha.security.ArrayBound

15k+ reports preserved.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D128535