projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f43ce51) | patch
[clang][dataflow] Ensure well-formed flow conditions.
authorYitzhak Mandelbaum <yitzhakm@google.com>
Mon, 11 Apr 2022 19:41:42 +0000 (19:41 +0000)
committerYitzhak Mandelbaum <yitzhakm@google.com>
Wed, 20 Apr 2022 17:01:55 +0000 (17:01 +0000)
commitc8f822ad51951094504866049546bd2c3446728f
treee540f362cda90f1c48c1539433bba0d0f0be2853tree | snapshot
parentf43ce5199df328c0acd3bc1d56d481b22d681ca8commit | diff
[clang][dataflow] Ensure well-formed flow conditions.

Ensure that the expressions associated with terminators are associated with a
value. Otherwise, we can generate degenerate flow conditions, where both
branches share the same condition.

Differential Revision: https://reviews.llvm.org/D123858
clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/TypeErasedDataflowAnalysisTest.cpp diff | blob | history
Domain: System / Toolchain;