summaryrefslogtreecommitdiff
path: root/lib/ubsan/ubsan_interface.inc
diff options
context:
space:
mode:
authorVedant Kumar <vsk@apple.com>2017-03-14 16:32:27 +0000
committerVedant Kumar <vsk@apple.com>2017-03-14 16:32:27 +0000
commiteac3043502e263e5140f12e7b2ed655aa51e9f9d (patch)
tree1c4bbb7a9f3523ceac0974a55a541b665673d493 /lib/ubsan/ubsan_interface.inc
parent1b3f1014cef7e8fe3b532dae88d91a1bf3a6a73f (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