diff options
| author | Yitzhak Mandelbaum <yitzhakm@google.com> | 2023-09-01 12:53:58 +0000 |
|---|---|---|
| committer | Yitzhak Mandelbaum <yitzhakm@google.com> | 2023-09-07 19:06:35 +0000 |
| commit | 80f0dc3aa4bf2097932fb789904c33d985767ecd (patch) | |
| tree | 566073f8847d4ae572fdf49a19b9d51cd8b64c51 /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | 9ff0a447d055a72ae4c758ef72ca2b64deefcfb7 (diff) | |
| download | llvm-80f0dc3aa4bf2097932fb789904c33d985767ecd.zip llvm-80f0dc3aa4bf2097932fb789904c33d985767ecd.tar.gz llvm-80f0dc3aa4bf2097932fb789904c33d985767ecd.tar.bz2 | |
[clang][dataflow] Unsoundly treat "Unknown" as "Equivalent" in widening.
This change makes widening act the same as equivalence checking. When the
analysis does not provide an answer regarding the equivalence of two distinct
values, the framework treats them as equivalent. This is an unsound choice that
enables convergence.
Differential Revision: https://reviews.llvm.org/D159355
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions