| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
[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 | 4 年前 | |
[clang] Use StringRef::{starts,ends}_with (NFC) (#75149) This patch replaces uses of StringRef::{starts,ends}with with StringRef::{starts,ends}_with for consistency with std::{string,string_view}::{starts,ends}_with in C++20. I'm planning to deprecate and eventually remove StringRef::{starts,ends}with. | 2 年前 | |
[clang][nullability] Remove RecordValue. (#89052) This class no longer serves any purpose; see also the discussion here: https://reviews.llvm.org/D155204#inline-1503204 A lot of existing tests in TransferTest.cpp check for the existence of RecordValues. Some of these checks are now simply redundant and have been removed. In other cases, tests were checking for the existence of a RecordValue as a way of testing whether a record has been initialized. I have typically changed these test to instead check whether a field of the record has a value. | 2 年前 |
| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
| 4 年前 | ||
| 2 年前 | ||
| 2 年前 |