commit 2b19e5328bea644a9b2033522bb31f8cf3d5a6ef
author Sam McCall <sammccall@google.com> Fri Sep 22 07:10:58 2023 -0700
committer Copybara-Service <copybara-worker@google.com> Fri Sep 22 07:11:35 2023 -0700
tree 70f44245f306c021dd92c6d1a9a9d9d9be0f80f5
parent 7c0fffbd0f53c6430f37c6415b81d48c6c7b49cf

Remove unneccesarily-specific downcast in getPointerNullState. NFC

(After relanding https://reviews.llvm.org/D153485, these will no longer always
be AtomicBoolValues, and it doesn't matter)

PiperOrigin-RevId: 567613018
Change-Id: Iee4c69008aabfa842f33d144d64d38c4508e80f3

nullability/pointer_nullability.cc

diff --git a/nullability/pointer_nullability.cc b/nullability/pointer_nullability.cc
index 495b72e..54daf2b 100644
--- a/nullability/pointer_nullability.cc
+++ b/nullability/pointer_nullability.cc
@@ -47,9 +47,8 @@
 }
 
 PointerNullState getPointerNullState(const PointerValue &PointerVal) {
-  auto &FromNullable =
-      *cast<AtomicBoolValue>(PointerVal.getProperty(kFromNullable));
-  auto &Null = *cast<AtomicBoolValue>(PointerVal.getProperty(kNull));
+  auto &FromNullable = *cast<BoolValue>(PointerVal.getProperty(kFromNullable));
+  auto &Null = *cast<BoolValue>(PointerVal.getProperty(kNull));
   return {FromNullable.formula(), Null.formula()};
 }