projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7324535) | patch
[clang][dataflow] Strengthen flow condition assertions.
authorMartin Braenne <mboehme@google.com>
Tue, 18 Jul 2023 11:28:09 +0000 (11:28 +0000)
committerMartin Braenne <mboehme@google.com>
Tue, 18 Jul 2023 13:41:43 +0000 (13:41 +0000)
commit6236bf53418eb23c62a73d6346f0edec914084e7
tree1ebba82509411f7ec67c3aab47a991ce377c59cdtree | snapshot
parent73245359847da385182dd3b3b2168e246a69a276commit | diff
[clang][dataflow] Strengthen flow condition assertions.

Instead of asserting merely that the flow condition doesn't imply that a variable is true, make the stronger assertion that the flow condition implies that the variable is false.

Reviewed By: ymandel, xazax.hun

Differential Revision: https://reviews.llvm.org/D155067
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp diff | blob | history
Domain: System / Toolchain;