fix

src/file.c

@@ -1,12 +1,24 @@
 #pragma ownership enable
 #pragma nullable enable
 
-struct X {
-  char *_Owner name;
+void free(void* _Owner _Opt ptr);
+char* _Owner _Opt strdup(char const* _String);
+
+struct user
+{
+  int id;
+  char* _Owner name;
 };
 
-struct X * _Owner f();
-int main(){
-    struct X * _Owner p = f();
-    void * _Owner p2 = p;
-}
+void set_id(struct user* p, int id){}
+
+int main()
+{
+  _Opt struct user user = {};
+  user.name = strdup("a");
+  char* _Owner _Opt name = user.name;
+  static_debug(user);  
+  free(name);
+  //if (user.name)
+    set_id(&user, 1); //warning: object 'user.name' was moved  
+}

src/object.c

@@ -18,15 +18,18 @@ bool is_moved(enum object_state e)
 
 bool is_not_null(enum object_state e)
 {
-    return (!(e & OBJECT_STATE_NULL) &&
-           (e & OBJECT_STATE_NOT_NULL));
+    return (
+             !(e & OBJECT_STATE_NULL) &&
+             ((e & OBJECT_STATE_NOT_NULL) || (e & OBJECT_STATE_MOVED))
+           );
 }
 
 
 bool is_null(enum object_state e)
 {
     return ((e & OBJECT_STATE_NULL) &&
-           !(e & OBJECT_STATE_NOT_NULL));
+           !(e & OBJECT_STATE_NOT_NULL) &&
+           !(e & OBJECT_STATE_MOVED));
 }
 
 bool is_zero(enum object_state e)

tests/unit-tests/test_17900.c

@@ -0,0 +1,23 @@
+#pragma ownership enable
+#pragma nullable enable
+
+void free(void* _Owner _Opt ptr);
+char* _Owner _Opt strdup(char const* _String);
+
+struct user
+{
+  int id;
+  char* _Owner name;
+};
+
+void set_id(struct user* p, int id){}
+
+int main()
+{
+  _Opt struct user user = {};
+  user.name = strdup("a");
+  char* _Owner _Opt name = user.name;
+  free(name);
+  if (user.name)
+    set_id(&user, 1); //warning: object 'user.name' was moved  
+}