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

[Martin Böhme via Phabricator via cfe-commits]

mboehme added a comment.

In D152813#4420471 <https://reviews.llvm.org/D152813#4420471>, @gribozavr2 wrote:

> In D152813#4420448 <https://reviews.llvm.org/D152813#4420448>, @mboehme wrote:
>
>> We would expect analysis of this code to converge too -- right?
>
> Yes - but we might need universal top values for that? maybe?

Ah, I see what you mean.

Anyway, I'll look at producing "reproducible" `Value`s for the same integer.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D152813