[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