diff options
| author | Yitzhak Mandelbaum <yitzhakm@google.com> | 2022-03-09 20:14:43 +0000 |
|---|---|---|
| committer | Yitzhak Mandelbaum <yitzhakm@google.com> | 2022-03-18 14:39:23 +0000 |
| commit | a36c2dd6d54c6ff854cb4872cd2831ed995e9275 (patch) | |
| tree | db644ec5ba7ff84b5c6adcffd9b457c7c6fb9116 /lldb/source/Commands/CommandObjectThread.cpp | |
| parent | b58413da9ba3bea14f0b4c45420e3778800162d7 (diff) | |
| download | llvm-a36c2dd6d54c6ff854cb4872cd2831ed995e9275.zip llvm-a36c2dd6d54c6ff854cb4872cd2831ed995e9275.tar.gz llvm-a36c2dd6d54c6ff854cb4872cd2831ed995e9275.tar.bz2 | |
[clang][dataflow] Add modeling of Chromium's CHECK functionality
Chromium's implementation of assertions (`CHECK`, `DCHECK`, etc.) are not
annotated with "noreturn", by default. This patch adds a model of the logical
implications of successfully executing one of these assertions.
Differential Revision: https://reviews.llvm.org/D121797
Diffstat (limited to 'lldb/source/Commands/CommandObjectThread.cpp')
0 files changed, 0 insertions, 0 deletions