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.
immunant · Jul 20, 2024 · a52c2b3 · a52c2b3
1 parent d82e4a1
commit a52c2b3
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/c2rust-analyze/src/analyze.rs b/c2rust-analyze/src/analyze.rs
@@ -999,7 +999,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;