Extra lint fixes
@@ -627,11 +627,12 @@ VERIFY(name != NULL); inotify_watch_hold(parent); watch->inw_mask &= IN_CHILD_EVENTS; watch->inw_parent = parent; watch->inw_name = kmem_alloc(strlen(name) + 1, KM_SLEEP); - strcpy(watch->inw_name, name); + /* strcpy() is safe, because strlen(name) bounds us. */ + (void) strcpy(watch->inw_name, name); avl_add(&parent->inw_children, watch); } /*