[PATCH] D152813: [clang][dataflow] Create `Value`s for integer literals.

[Dmitri Gribenko via Phabricator via cfe-commits]

gribozavr2 added a comment.

In D152813#4420399 <https://reviews.llvm.org/D152813#4420399>, @mboehme wrote:

> It looks to me as if the values we're now newly producing for integer literals are causing non-convergence of the analysis on the for-loop.

For integer literals specifically, we should be returning the same value for the same literal over multiple loop iterations. And also, ideally, for multiple equal literals, too, so that an integer literal "42", no matter how many times spelled in the program, creates the same symbolic value.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D152813