diff options
| author | Yitzhak Mandelbaum <yitzhakm@google.com> | 2022-10-06 17:56:41 +0000 |
|---|---|---|
| committer | Yitzhak Mandelbaum <yitzhakm@google.com> | 2022-10-14 17:41:53 +0000 |
| commit | 39b9d4f188ca1f99515658334d57c2961db33289 (patch) | |
| tree | 8f6d89c30c476cc4173f1345dc4de350043795c3 /flang/lib/Frontend/CompilerInvocation.cpp | |
| parent | 28f7087c9163f66b07e17bd47a1bfb5d9448467d (diff) | |
| download | llvm-39b9d4f188ca1f99515658334d57c2961db33289.zip llvm-39b9d4f188ca1f99515658334d57c2961db33289.tar.gz llvm-39b9d4f188ca1f99515658334d57c2961db33289.tar.bz2 | |
[clang][dataflow] Add support for a Top value in boolean formulas.
Currently, our boolean formulas (`BoolValue`) don't form a lattice, since they
have no Top element. This patch adds such an element, thereby "completing" the
built-in model of bools to be a proper semi-lattice. It still has infinite
height, which is its own problem, but that can be solved separately, through
widening and the like.
Patch 1 for Issue #56931.
Differential Revision: https://reviews.llvm.org/D135397
Diffstat (limited to 'flang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions