analyze: fix cast.rs test after NON_NULL changes

immunant · Apr 12, 2024 · 586d91c · 586d91c
1 parent e95e9e9
commit 586d91c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/c2rust-analyze/tests/filecheck/cast.rs b/c2rust-analyze/tests/filecheck/cast.rs
@@ -10,7 +10,7 @@ struct S {
 
 // CHECK-LABEL: final labeling for "null_ptr"
 pub unsafe fn null_ptr() {
-    // CHECK-DAG: ([[@LINE+3]]: s): addr_of = UNIQUE | NON_NULL, type = READ | WRITE | UNIQUE | NON_NULL#
+    // CHECK-DAG: ([[@LINE+3]]: s): addr_of = UNIQUE | NON_NULL, type = READ | WRITE | UNIQUE#
     // CHECK-LABEL: type assignment for "null_ptr":
     // CHECK-DAG: ([[@LINE+1]]: s): &mut S
     let s = 0 as *mut S;