diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2019-06-19 23:33:34 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2019-06-19 23:33:34 +0000 |
| commit | b03854f8e87e89051da5eae6c267020801fb39a0 (patch) | |
| tree | 35e2ebd990f6f549f4f84386d390e66226ec7e85 /clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp | |
| parent | 24151619a00e7381dd3c3f96d623927c61f87e6c (diff) | |
| download | bcm5719-llvm-b03854f8e87e89051da5eae6c267020801fb39a0.tar.gz bcm5719-llvm-b03854f8e87e89051da5eae6c267020801fb39a0.zip | |
[analyzer] RetainCount: Add support for OSRequiredCast().
It's a new API for custom RTTI in Apple IOKit/DriverKit framework that is
similar to OSDynamicCast() that's already supported, but crashes instead of
returning null (and therefore causing UB when the cast fails unexpectedly).
Kind of like cast_or_null<> as opposed to dyn_cast_or_null<> in LLVM's RTTI.
Historically, RetainCountChecker was responsible for modeling OSDynamicCast.
This is simply an extension of the same functionality.
Differential Revision: https://reviews.llvm.org/D63117
llvm-svn: 363891
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp')
0 files changed, 0 insertions, 0 deletions
