c - Bogus '可以使用未初始化的

Question

我在下面的代码中收到了一个单元化的警告，我很难找出原因。我看不到未初始化使用的代码路径。有人可以帮忙吗？此外，如果我的 goto 使用不当或者是否有更简洁的方法，我可以使用一些建议。

 In function ‘handle_comp_enc’:
fs/compress.c:101:8: warning: ‘write_cdata’ may be used uninitialized in this function [-Wmaybe-uninitialized]
   kfree(write_cdata);

代码:

#define ENC  (1UL << 1)
#define ZIP  (1UL << 2)
#define ENC_ZIP_ENABLED(cmp_enc_flags) ((cmp_enc_flags) & (ENC | ZIP)) == (ENC | ZIP)


int handle_comp_enc(unsigned long comp_enc_flags, unsigned char *read_data,
                        size_t read_len, unsigned char *write_data, size_t *write_len2) {
        unsigned char *write_cdata, *rd_enc_data;
        size_t write_clen, enc_src_len;
        int err;
        if (ENC_ZIP_ENABLED(comp_enc_flags)){
                write_cdata = kmalloc(get_compress_fsize(PAGE_SIZE), GFP_KERNEL);
                if (!write_cdata) {
                        err  = -ENOMEM;
                        goto zip_only;
                }
        }
        else if(!(comp_enc_flags & ENC))
                write_cdata = write_data;
        else{
                rd_enc_data = read_data;
                enc_src_len = read_len;
                goto enc_only;
        }
        err = do_compress(read_data, read_len, write_cdata, &write_clen);
        if (err < 0) {
                goto out_enc_zip;
        }
        if (!(comp_enc_flags & ENC)) {
                *write_len2 = write_clen;
                goto zip_only;
        }
        rd_enc_data = write_cdata;
        enc_src_len = write_clen;
enc_only:
        err = do_skcipher_encrypt(rd_enc_data, enc_src_len, write_data, write_len2);
        if (err < 0) {
        }
out_enc_zip:
        if (ENC_ZIP_ENABLED(comp_enc_flags))
                kfree(write_cdata);
zip_only:
        return err;
}

Answer 1

编译器尽量产生警告，因为消息说“也许”，编译器不知道 ENC_ZIP_ENABLED(comp_enc_flags) 在标签 out_enc_zip 处为 false >。您的代码不使用未初始化的值。

也就是说，我非常不同意你的 goto 用例，你的代码不可读，我花了很多时间来理解代码的去向。

您的代码可以简化很多，我 100% 不确定这段代码是否具有与我所说的您的代码难以阅读相同的行为:

#define ENC  (1UL << 1)
#define ZIP  (1UL << 2)

int handle_comp_enc(unsigned long comp_enc_flags, unsigned char *read_data,
                    size_t read_len, unsigned char *write_data, size_t *write_len2) {
        if ((comp_enc_flags & (ENC | ZIP)) == (ENC | ZIP)) {
            unsigned char *tmp = kmalloc(get_compress_fsize(PAGE_SIZE), GFP_KERNEL);
            if (!tmp) {
                    return -ENOMEM;
            }
            size_t size;
            int err = do_compress(read_data, read_len, tmp, &size);
            if (!(err < 0)) {
                err = do_skcipher_encrypt(tmp, size, write_data, write_len2);
            }
            kfree(tmp);
            return err;
        }
        else if (!(comp_enc_flags & ENC)) {
              return do_compress(read_data, read_len, write_data, write_len2);
        }
        else {
            return do_skcipher_encrypt(read_data, read_len, write_data, write_len2);
        }
}