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标签比较导致编译器崩溃

1 个答案: