From 1f4aa097e04718fab482bcd591bb28f2ac6d2074 Mon Sep 17 00:00:00 2001
From: Andrei Homescu <ah@immunant.com>
Date: Wed, 24 Apr 2024 22:17:09 -0700
Subject: [PATCH] Use PDG to remove NON_NULL from pointers in static analysis

Remove the NON_NULL permission from all nodes in
the null graph from the PDG.
---
 c2rust-analyze/src/analyze.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/c2rust-analyze/src/analyze.rs b/c2rust-analyze/src/analyze.rs
index b8058d9ca7..a93f0b8533 100644
--- a/c2rust-analyze/src/analyze.rs
+++ b/c2rust-analyze/src/analyze.rs
@@ -993,7 +993,10 @@ fn run(tcx: TyCtxt) {
                 if !node_info.unique {
                     perms.remove(PermissionSet::UNIQUE);
                 }
-                // TODO: PermissionSet::NON_NULL
+                if g.is_null {
+                    // TODO: is this enough?
+                    perms.remove(PermissionSet::NON_NULL);
+                }
 
                 if perms != old_perms {
                     let added = perms & !old_perms;