Question

我编写函数来创建目录并强制它由用户拥有。

int mkdir_and_force_owner( const char *path, uid_t uid, gid_t gid )
{
    /* deref_ptr_in_call: Dereferencing pointer "path" */
    if( mkdir( path, S_IRWXU ) < 0 ) {
        if( errno != EEXIST ) {
            lfprintf( stderr, _("Cannot create %s: %s\n"), path, strerror( errno ) );
        } else {
            DIR *temp_dir = opendir( path );
            /* check_after_deref: Null-checking "path" suggests that it may be null, but it has already been dereferenced on all paths leading to the check */
            if( !path ) {
                lfprintf( stderr, _("Cannot open %s: %s\n"), path, strerror( errno ) );
            } else {
                closedir( temp_dir );
                return 1;
            }
            closedir( temp_dir );
        }
    } else {
        if( chown( path, uid, gid ) < 0 ) {
            lfprintf( stderr, _("Cannot change owner of %s: %s.\n"), path, strerror( errno ) );
        } else {
            return 1;
        }
    }

    return 0;
}

但是此代码会收到此警告：

空检查“路径”表明它可能为空，但它已经在导致检查的所有路径上被解除引用。我想要同样的帮助来解决这个问题感谢

Answer 1

在向stderr打印“无法打开”消息的行上，编译器已经足够注意到，根据定义，您尝试向lfprintf传递一个NULL字符串指针。因为它包含在if (!path) {}块中。你的意思是说if (!temp_dir)吗？

空检查前取消引用

1 个答案: