This revision was landed with ongoing or failed builds.
This revision was automatically updated to reflect the committed changes.
Closed by commit rG6236bf53418e: [clang][dataflow] Strengthen flow condition
assertions. (authored by mboehme).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LA
mboehme updated this revision to Diff 541454.
mboehme added a comment.
Adapted to `Formula` changes
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D155067/new/
https://reviews.llvm.org/D155067
Files:
clang/unittests/Analysis/FlowSensitive/Transfer
mboehme created this revision.
Herald added subscribers: martong, xazax.hun.
Herald added a project: All.
mboehme requested review of this revision.
Herald added a project: clang.
Herald added a subscriber: cfe-commits.
Instead of asserting merely that the flow condition doesn't imply that a
varia
