diff options
author | Vedant Kumar <vsk@apple.com> | 2017-03-14 16:32:27 +0000 |
---|---|---|
committer | Vedant Kumar <vsk@apple.com> | 2017-03-14 16:32:27 +0000 |
commit | eac3043502e263e5140f12e7b2ed655aa51e9f9d (patch) | |
tree | 1c4bbb7a9f3523ceac0974a55a541b665673d493 /lib/ubsan/ubsan_interface.inc | |
parent | 1b3f1014cef7e8fe3b532dae88d91a1bf3a6a73f (diff) |
[ubsan] Add diagnostic handlers for nullability errors
Add 'nullability_arg' and 'nullability_return' diagnostic handlers, and
also add a TypeCheckKind for null assignments to _Nonnull. With this in
place, we can update clang to use the nicer handlers for nullability
diagnostics.
The alternative to this approach is to update the existing 'nonnull_arg'
and 'nonnull_return' handlers to accept a boolean parameter. However,
versioning the existing handlers would cause code size bloat, and the
complexity cost of introducing new handlers into the runtime is low.
I will add tests for this, and all of -fsanitize=nullability, into
check-ubsan once the clang side of the changes is in.
git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@297748 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/ubsan/ubsan_interface.inc')
0 files changed, 0 insertions, 0 deletions