GCC 更新后意外 CONSTRAINT_ERROR

Question

我们最近更新了 GCC 版本（4.8.2 到 5.3.0）并开始在某些 Ada 应用程序中收到意外的约束错误。我已将其缩减为以下内容：

-- moo.adb
with text_io;
procedure moo is
   type thing_type is (something1,something2,something3,something4,something5,something6);
   for thing_type use (something1 => 1,something2 => 2,something3 => 
      3,something4 => 4,something5 => 5,something6 => 6);
   for thing_type'size use 32;
   type thing_array_t is array (0 .. 5) of thing_type;
   thing_array : thing_array_t := (others => something1);
begin
   text_io.put_line("item 0 = " & thing_type'image(thing_array(0)));
end moo;

这个程序在任一 GCC 版本上都可以正常编译（使用 "gnatmake moo.adb" 简单地编译）。当使用 4.8.2 构建时，输出符合预期：

item 0 = SOMETHING1

当使用 5.0.3 构建时，我们收到

raised CONSTRAINT_ERROR : moo.adb:13 invalid data

有趣的是，编译为 32 位和 64 位时，结果完全相同。可以更改许多内容以使程序在 5.3.0 中正常工作：删除 thing_type'size 子句，向枚举器添加或删除值，更改数组中的项目数，使用不同的值进行初始化数组等。这段代码是否有任何明显的问题可以解释这种行为？

Answer 1

它看起来像是 GCC/GNAT 中的错误。我可以在标准兼容模式下使用 GNAT-GPL-2016 复制错误行为 (-gnato -fstack-check -gnat12)。关键部分似乎是 Something1 被表示为 1 而不是更典型的 0。我建议您将错误报告给 GCC 开发人员。

Answer 2

这个错误在 GCC 7.0.1 中仍然存在。运行在调试器下，输出略有编辑，

(gdb) catch exception
Catchpoint 2: all Ada exceptions
(gdb) run
Starting program: /Users/simon/tmp/so/moo 
[New Thread 0x1703 of process 75511]

Catchpoint 2, CONSTRAINT_ERROR (moo.adb:10 invalid data) at 0x0000000100001abe in _ada_moo () at moo.adb:10
10     text_io.put_line("item 0 = " & thing_type'image(thing_array(0)));
(gdb) p thing_array
 = (0 => 16843009, 16843009, 16843009, 16843009, 16843009, 16843009)
(gdb) p/x thing_array
 = (0 => 0x1010101, 0x1010101, 0x1010101, 0x1010101, 0x1010101, 0x1010101)

所以 GNAT 错误地将 thing_array 元素的每个字节设置为 16#01#，而不是整个元素。

如果 something1 设置为 2（以后的值同样递增），也会发生同样的情况。

我能找到的唯一有用的方法就是声明，例如，

type base_thing_type is (invalid, something1,something2,something3,something4,something5,something6);
for base_thing_type use (invalid => 0, something1 => 1,something2 => 2,something3 =>
                      3,something4 => 4,something5 => 5,something6 => 6);
for base_thing_type'size use 32;
type thing_type is new base_thing_type range something1 .. something6;

GCC 更新后意外 CONSTRAINT_ERROR

Unexpected CONSTRAINT_ERROR after GCC update

gcc

ada

gnat