[PATCH] D142710: [clang][dataflow] Relax validity assumptions in `UncheckedOptionalAccessModel`.
Gábor Horváth via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Jan 31 15:07:58 PST 2023
xazax.hun accepted this revision.
xazax.hun added a comment.
This revision is now accepted and ready to land.
This change looks good to me. I wonder, however, whether the behavior should be parameterized in the future. E.g., whether the user of the analysis should be able to make a decision whether the analysis should be pessimistic or optimistic about unmodeled values.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D142710/new/
https://reviews.llvm.org/D142710
More information about the cfe-commits
mailing list