如何规避GCC中的格式截断警告？

Question

我收到以下gcc格式 - 截断警告:

test.c:8:33: warning: ‘/input’ directive output may be truncated writing 6 bytes into a region of size between 1 and 20 [-Wformat-truncation=]
snprintf(dst, sizeof(dst), "%s-more", src);
                             ^~~~~~
test.c:8:3: note: ‘snprintf’ output between 7 and 26 bytes into a destination of size 20
snprintf(dst, sizeof(dst), "%s-more", src);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

像这样的代码:

char dst[20];
char src[20];
scanf("%s", src);
snprintf(dst, sizeof(dst), "%s-more", src);
printf("%s\n", dst);

我知道它可能会被截断 - 但这正是我首先使用snprintf的原因.有没有办法让编译器明白这是预期的(不使用编译指示或-Wno格式截断)？

Answer 1

1. 警告已经入侵gcc7.1,请参阅gcc7.1发布的更改.
2. 来自gcc docs:

-Wformat-truncation [...]的级别1仅警告对有效函数的调用,这些函数的返回值未使用,并且很可能导致输出截断.

3. 问题是错误报告,并作为NOTABUG关闭:

未处理的输出截断通常是程序中的错误.[...]
在期望截断的情况下,调用者通常检查函数的返回值并以某种方式处理它(例如,通过分支).在这些情况下,不会发出警告.警告打印的源代码行表明这不是其中之一.警告正在做它的设计目的.

4. 但是我们可以检查snprintf的返回值,它会在出错时返回负值.

#include <stdio.h>
#include <stdlib.h>
void f(void) {
    char dst[2], src[2];
    // snprintf(dst, sizeof(dst), "%s!", src);

    int ret = snprintf(dst, sizeof(dst), "%s!", src);
    if (ret < 0) {
         abort();
    }

    // But don't we love confusing one liners?
    for (int ret = snprintf(dst, sizeof(dst), "%s!", src); ret < 0;) exit(ret);
    // Can we do better?
    snprintf(dst, sizeof(dst), "%s!", src) < 0 ? abort() : (void)0;
    // Don't we love obfuscation?
#define snprintf_nowarn(...) (snprintf(__VA_ARGS__) < 0 ? abort() : (void)0)
    snprintf_nowarn(dst, sizeof(dst), "%s!", src);
}

测试https://godbolt.org/与gcc7.1 gcc7.2 gcc7.3 gcc8.1与-O{0,1,2,3} -Wall -Wextra -pedantic.没有任何警告.gcc8.1优化/删除对abort()优化更大的调用-O1.

Answer 2

此错误仅在*printf调用长度受限的函数时触发（例如snprintf，vsnprintf）。换句话说，这并不表示您可能会溢出缓冲区，就像 sprintf 可能发生的那样；它只通知您您没有检查是否snprintf正在执行其工作和截断。

知道了这一点，我对使用 全局禁用它更加乐观-Wno-format-truncation，而不是试图哄骗gcc忽略特定实例。

Answer 3

该页面对我很有用：
https://www. Fluentcpp.com/2019/08/30/how-to-disable-a-warning-in-cpp/

您可以通过执行以下操作解决 gcc/clang 编译器的问题：

#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wformat-truncation"
    snprintf(dst, sizeof(dst), "%s-more", src);
#pragma GCC diagnostic pop

上面的网页还提供了 Visual Studio 编译器警告的解决方案。