commit 4a73ca7e489481dd2aa0f2f78e22294a17978530
author Dani Ferreira Franco Moura <danimoura@google.com> Wed Dec 14 10:23:56 2022 -0800
committer Copybara-Service <copybara-worker@google.com> Wed Dec 14 10:24:34 2022 -0800
tree 9bb125c89b182124e357399547295cc95c7774a6
parent 9e9cba92314b913da0a2e6bbd93419ded50f6ef4

Update nullability verification framework to adapt to the new diagnoser API in the clang dataflow framework

The new API (PHAB_REVIEW=https://reviews.llvm.org/D139868) allows diagnosers to take in `State` objects instead of `Environment` objects as argument. A `State` contains both an `Environment` and a `Lattice` element. This change will allow the pointer nullability diagnosis to use information from the dataflow lattice, which can be helpful for testing and debugging purposes. For example, the diagnoser can now access the nullability vectors computed for a given expression, which are stored in a map in the lattice.

PiperOrigin-RevId: 495350578

nullability_verification/BUILD

diff --git a/nullability_verification/BUILD b/nullability_verification/BUILD
index 7e4c3d2..d15de47 100644
--- a/nullability_verification/BUILD
+++ b/nullability_verification/BUILD
@@ -38,6 +38,7 @@
     hdrs = ["pointer_nullability_diagnosis.h"],
     deps = [
         ":pointer_nullability",
+        ":pointer_nullability_lattice",
         ":pointer_nullability_matchers",
         "@llvm-project//clang:analysis",
         "@llvm-project//clang:ast",