commit bd1af624b847035bb643f9263f8ca27c80458ef1
author Dani Ferreira Franco Moura <danimoura@google.com> Fri Nov 11 08:06:53 2022 -0800
committer Copybara-Service <copybara-worker@google.com> Fri Nov 11 08:07:38 2022 -0800
tree 5711d121cd2de6a8b902cb787661c8c3c895e971
parent a064982238f0f865028fca77dc181961f5669f17

Fix comment about nullness boolean.

PiperOrigin-RevId: 487825304

nullability_verification/pointer_nullability.h

diff --git a/nullability_verification/pointer_nullability.h b/nullability_verification/pointer_nullability.h
index 9b711bd..0762364 100644
--- a/nullability_verification/pointer_nullability.h
+++ b/nullability_verification/pointer_nullability.h
@@ -29,7 +29,7 @@
 /// Returns the properties representing the nullness information of a pointer.
 ///
 /// The first boolean indicates if the pointer's nullability is known.
-/// The second boolean indicates if the pointer's value is not null.
+/// The second boolean indicates if the pointer's value is null.
 std::pair<dataflow::AtomicBoolValue&, dataflow::AtomicBoolValue&>
 getPointerNullState(const dataflow::PointerValue& PointerVal,
                     const dataflow::Environment& Env);