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

Dmitri Gribenko via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Jun 14 03:24:15 PDT 2023


gribozavr2 added a comment.

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?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D152813



More information about the cfe-commits mailing list