[all-commits] [llvm/llvm-project] c8f822: [clang][dataflow] Ensure well-formed flow conditions.
Yitzhak Mandelbaum via All-commits
all-commits at lists.llvm.org
Wed Apr 20 10:02:13 PDT 2022
Author: Yitzhak Mandelbaum <yitzhakm at google.com>
Date: 2022-04-20 (Wed, 20 Apr 2022)
[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
More information about the All-commits