sprintf精度打字导致汇编警告

Question

我有以下C ++代码，该代码发出汇编警告，如下所示。

案例1：

char temp_buffer[80];
double **data;
....
sprintf(temp_buffer, "%.*g", sizeof(temp_buffer), **data);

汇编警告：

extension.C:1031:41: warning: field precision specifier '.*' expects argument of type 'int', but argument 3 has type 'long unsigned int' [-Wformat=]
 1031 |                 sprintf(temp_buffer, "%.*g", sizeof(temp_buffer), **data);
      |                                       ~~^~   ~~~~~~~~~~~~~~~~~~~
      |                                         |    |
      |                                         int  long unsigned int

我正在通过将 sizeof 的类型固定在下面的INT上来修复警告。

案例2：

char temp_buffer[80];
double **data;
...
sprintf(temp_buffer, "%.*g", (int)sizeof(temp_buffer), **data);

，但是现在我得到了以下警告：

extension/extension.C:1031:39: warning: \u2018%.*g\u2019 directive writing between 1 and 87 bytes into a region of size 80 [-Wformat-overflow=]
 1031 |                 sprintf(temp_buffer, "%.*g", (int)sizeof(temp_buffer), **data);
      |                                       ^~~~
extension/extension.C:1031:38: note: assuming directive output of 86 bytes
 1031 |                 sprintf(temp_buffer, "%.*g", (int)sizeof(temp_buffer), **data);
      |                                      ^~~~~~
In file included from /usr/include/stdio.h:873,
                 from /opt/python/python-3.9/include/python3.9/Python.h:25,
                 from /codemill/dhamodha/projects/base/src/lib/despython/desnumpyinit.h:19,
                 from extension/extension.C:8:
/usr/include/bits/stdio2.h:36:34: note: \u2018__builtin___sprintf_chk\u2019 output between 2 and 88 bytes into a destination of size 80
   36 |   return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1,
      |          ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   37 |       __bos (__s), __fmt, __va_arg_pack ());

我的假设是在内部的精确性启动长期无符号的int to int 。但是，如果我引入 sizeof 键入键盘，则不会发生新的警告。

有人可以帮助我了解发生了什么并解决警告吗？

案例3：

说我修改了 temp_buffer size 8 ，然后我看到两个警告：

extension/extension.C:1033:20: warning: \u2018%.*g\u2019 directive writing between 1 and 310 bytes into a region of size 8 [-Wformat-overflow=]
 1033 |   sprintf(temp_b, "%.*g", sizeof(temp_buffer), **data);
      |                    ^~~~
extension/extension.C:1033:19: note: assuming directive output of 12 bytes
 1033 |   sprintf(temp_b, "%.*g", sizeof(temp_buffer), **data);
      |                   ^~~~~~
In file included from /usr/include/stdio.h:873,
                 from /opt/python/python-3.9/include/python3.9/Python.h:25,
                 from /codemill/dhamodha/projects/base/src/lib/despython/desnumpyinit.h:19,
                 from extension/extension.C:8:
/usr/include/bits/stdio2.h:36:34: note: \u2018__builtin___sprintf_chk\u2019 output between 2 and 311 bytes into a destination of size 8
   36 |   return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1,
      |          ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   37 |       __bos (__s), __fmt, __va_arg_pack ());
      |       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Answer 1

您可以在使用前分配宽度：

int width = sizeof(temp_buffer);
sprintf(temp_buffer, "%.*g", width, **data);

警告会消失，但是这不会解决基本问题。如果要避免潜在的缓冲区溢出，一个合理的选择是使用正确的尺寸：

sprintf(temp_buffer, "%.*g", (int)(sizeof(temp_buffer)) - 8, **data);

在原始代码中，您要说的是您想要小数位的数量是缓冲区的大小，而没有空间对于标志，科学符号和nul字节。您需要将十进制零件尺寸的尺寸足够小，以便所有这些零件尺寸都可以适合目标缓冲区。

即使编译器提到7个字节，我认为8个字节是最好的，其中2个字节为2，其中1个字节为1，为1个字节，1个字节，1个字节为1个字节， e 为1个字节，指数为3，为指数为1，nul字节为1。

尽管我认为具有足够大的缓冲区足以具有最长可能的表示形式，但鉴于双可以多达758个字节（尽管所有编译器可能并非如此），假设上述字节计数与编译一致，可以使用800个字节的缓冲区可以解决此问题使用 GCC 11.3 。

这一切都说明了这一点的正确方法是使用更安全的 snprintf ，它允许您将最大缓冲区大小传递给参数：

snprintf(buffer, sizeof buffer, "%.*g", (int)sizeof buffer - 8, **data);

---

对于不同的用例，行为是不确定的没有演员，因为您不通过正确的参数类型到 ... 参数 as sprintf 第三参数（在大多数情况下，无符号长的大小大于 int ），因此，不要求编译器发出任何警告。它确实可以被视为礼貌， clang ，例如发出警告，根据上述未定义行为的标准定义，这一事实是完全良好的。

要知道为什么在某些情况下有两个不同的警告，而在其他情况下，只有一个是特定于编译器的问题，我认为试图弄清楚为什么这样做是很投机的。

关于警告中发出的溢出值，我发现它很好奇，并问了一个问题，答案是阐明的：

Answer 2

有人可以帮助我了解发生了什么并解决警告吗？

使用 sprintf（temp_buffer，“％。

考虑 sprintf（temp_buffer，“％。*g”，5，1234567E10）; 将形成“ 1.2346e+16”。

而不是给出缓冲区大小的进动，不如说明其他字符，例如符号，小数点，“ e”和endent（对于常见 double ），可能是4个字符，例如“ -300 ”）和 null字符。在这种情况下8。

#define G_OVERHEAD 8
sprintf(temp_buffer, "%#.*g", (int) sizeof temp_buffer - G_OVERHEAD, **data);

此代码有风险，因为 g_overhead 可能更大。考虑确定最坏情况的启动代码，例如以下情况。

int g_overhead = snprintf(0, 0, "%#.*g", 2, -DBL_TRUE_MIN) + 1 /*\0*/ - 2 /*Precision*/;

// Common result: 8 for -4.9e-324