diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2021-01-01 16:32:19 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-01-01 16:46:21 +0100 |
| commit | 14e540febcdace3b650dba2b8bb0e770b90409ad (patch) | |
| tree | 33bcdf1ab0f1584b0729198aeda790bb9a0a5a94 /llvm/lib/Support/CommandLine.cpp | |
| parent | 13b1c9abaf46a7163bfc8fc0a765fbee051ccc80 (diff) | |
| download | llvm-14e540febcdace3b650dba2b8bb0e770b90409ad.zip llvm-14e540febcdace3b650dba2b8bb0e770b90409ad.tar.gz llvm-14e540febcdace3b650dba2b8bb0e770b90409ad.tar.bz2 | |
[LVI] Handle unions of conditions
LVI previously handled "if (L && R)" conditions, but not
"if (L || R)" conditions. The latter case can still produce
useful information if L and R both constrain the same variable.
This adds support for handling the "if (L || R)" case as well.
The only difference is that we take the union instead of the
intersection of the lattice values.
Diffstat (limited to 'llvm/lib/Support/CommandLine.cpp')
0 files changed, 0 insertions, 0 deletions