[PATCH] D88477: [analyzer] Overwrite cast type in getBinding only if that was null originally

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

> A value of an expression should have the same type and value-kind as the expression.

F13121967: roflbot.jpg <https://reviews.llvm.org/F13121967>

Unfortunately i'm pretty worried about our ability to actually achieve that in the near future; as of now we don't even oblige to a much simpler sanity-inducing contract that the value in the Environment //never changes// throughout its lifetime.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D88477