commit e37df98422a1dceb0ddbd0758ef34feffd2a93fd
author Sam McCall <sammccall@google.com> Tue May 02 05:46:44 2023 -0700
committer Copybara-Service <copybara-worker@google.com> Tue May 02 05:47:22 2023 -0700
tree 2a40d26859f48f5f37a32f289a0d3f6ba17e50bc
parent 5fc2a80f572f779edfa0fb5819db8ce3d7d1e332

Fix inconsistency between initPointerNullState and getPointerNullState

The former allows any booleans, the latter asserts that they were atoms.
Resolve this by supporting any booleans, and converting them to atoms.
While it appears that the production values are always atoms, this seems to be
a fragile almost-coincidence, and it's not clear how to statically guarantee it.

PiperOrigin-RevId: 528755942

nullability/BUILD

diff --git a/nullability/BUILD b/nullability/BUILD
index 0fffa9b..1227e8c 100644
--- a/nullability/BUILD
+++ b/nullability/BUILD
@@ -76,6 +76,7 @@
     srcs = ["pointer_nullability_test.cc"],
     deps = [
         ":pointer_nullability",
+        "@llvm-project//clang:analysis",
         "@llvm-project//clang:testing",
         "@llvm-project//llvm:Support",
         "@llvm-project//third-party/unittest:gmock",