Fix inconsistent nullability annotations.

This makes the annotations in the .cc file consistent with the annotations in the .h file.

PiperOrigin-RevId: 657622324
Change-Id: Ifb1d2b33982f1ce02eefd1c73a5c905ba89493a4

bazel/llvm.bzl

diff --git a/bazel/llvm.bzl b/bazel/llvm.bzl
index cffb020..861e966 100644
--- a/bazel/llvm.bzl
+++ b/bazel/llvm.bzl
@@ -53,7 +53,7 @@
             executable = False,
         )
 
-LLVM_COMMIT_SHA = "63e1647827f3427c5f3ad37461d84a63ba5fcdaf"
+LLVM_COMMIT_SHA = "0e6f64cd5e5a06bd78542d5541a762154546ced3"
 
 def llvm_loader_repository_dependencies():
     # This *declares* the dependency, but it won't actually be *downloaded* unless it's used.

nullability/pointer_nullability.cc

diff --git a/nullability/pointer_nullability.cc b/nullability/pointer_nullability.cc
index d419d72..d3b84be 100644
--- a/nullability/pointer_nullability.cc
+++ b/nullability/pointer_nullability.cc
@@ -218,8 +218,9 @@
              : NullabilityKind::Unspecified;
 }
 
-NullabilityKind getNullability(const Expr *E, const dataflow::Environment &Env,
-                               const dataflow::Formula *AdditionalConstraints) {
+NullabilityKind getNullability(
+    absl::Nonnull<const Expr *> E, const dataflow::Environment &Env,
+    absl::Nullable<const dataflow::Formula *> AdditionalConstraints) {
   if (dataflow::PointerValue *P = getPointerValue(E, Env))
     return getNullability(*P, Env, AdditionalConstraints);
   return clang::NullabilityKind::Unspecified;