Ada标签比较导致编译器崩溃

Question

我不确定这是否是我的 gcc (4.8.5) 或 gprbuild (2.2.0) 版本中的错误，但是当我尝试编译项目时，有一个特定函数的主体导致编译器用 STORAGE_ERROR 崩溃。当我使用 -cargs -v 构建时，我看到 gnatl -quiet ... 是崩溃前最近输出的命令。

相关函数从属于特定类型层次结构的标记中生成信息字符串。它看起来像：

function Tag_To_String (From : Ada.Tags.Tag) return String is (
    if From = A'Tag then "This is tag A"
    elsif From = B'Tag then "This is tag B"
    --  ...
    elsif From = Z'Tag then "This is tag Z"
    else "");

而如果我将正文更改为：

，则可以成功编译

function Tag_To_String (From : Ada.Tags.Tag) return String is ("");

我得到的错误正是：

gcc -c -gnat12 sourcefile.adb

raised STORAGE_ERROR : stack overflow or erroneous memory access
gprbuild: *** compilation phase failed

知道为什么 gcc 似乎无法编译这个特定函数吗？

Answer 1

以下程序可以使用 2018 版 GNAT 和 GPS 正常运行。

with Ada.text_IO; use Ada.Text_IO;
with Ada.Tags; use Ada.Tags;

procedure Tag_Main is
   package foo is
      type A is tagged private;
      type B is tagged private;
   private
      type A is tagged null record;
      type B is tagged null record;
   end foo;

   use Foo;

   function Tag_To_String(From : Ada.Tags.Tag) return String is(
      if From = A'Tag then
         "This is tag A"
      else
         "This is tag B"
      );

begin
   Put_Line(Tag_To_String(A'Tag));
   Put_Line(Tag_To_String(B'Tag));
end Tag_Main;

请注意，我已将代码编辑为使用函数表达式。它仍然适用于 GNAT/GPS 2018 版本。这个版本是用 gprbuild -d -PD

编译的

Ada标签比较导致编译器崩溃

Ada tag comparison causes compiler to crash

gcc

ada

segmentation-fault

gnat