commit 9c1616127d37c917c1557713c37f926577cd3f38
author Wei Yi Tee <wyt@google.com> Fri Aug 19 14:20:02 2022 -0700
committer Copybara-Service <copybara-worker@google.com> Fri Aug 19 14:20:42 2022 -0700
tree 5f30059e79d723fe5f4d2b20a6b3fbb0a06067b1
parent 036efdfbfbf1cfc86edbba48b01fc039df7ffc51

Refactoring common null-safety checking functions.

- `getNullabilityKind` returns the nullability kind specified by the nullability annotation on the type if present, otherwise returns the default NullabilityKind::Unspecified.
- `isUnhandledOrNullable` checks that an expression is unhandled by the analysis or is known to be nullable.
- `isIncompatibleAssignment` checks that the nullability of the actual expression complies with nullability annotations on the declared type at the point of use.

PiperOrigin-RevId: 468783498

nullability_verification/BUILD

diff --git a/nullability_verification/BUILD b/nullability_verification/BUILD
index 9ff987c..3ebbdbd 100644
--- a/nullability_verification/BUILD
+++ b/nullability_verification/BUILD
@@ -48,6 +48,7 @@
     deps = [
         "@llvm-project//clang:analysis",
         "@llvm-project//clang:ast",
+        "@llvm-project//clang:basic",
         "@llvm-project//llvm:Support",
     ],
 )