代码之家 › 专栏 › 技术社区 › LambdaBeta

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

gnat ada segmentation-fault gcc

LambdaBeta · 技术社区 · 6 年前

我不确定这是否是gcc(4.8.5)或gprbuild(2.2.0)版本中的一个bug,但是当我试图编译一个项目时,有一个特定的函数,它的主体会导致编译器崩溃 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不能编译这个函数吗?

1 回复 | 直到 6 年前

Jim Rogers 6 年前

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编译的

推荐文章

Max van Daalen · 在Ada Last\u Chance\u处理程序中打印异常消息

7 年前

LambdaBeta · Ada将记录数组传递给c函数

7 年前

rid · 用于在数组中查找索引的表达式

7 年前

CaesiumWhale · 在Ada标记类型中创建2D数组字段

7 年前

SigGP · 如何运行用Ada编写的程序?

7 年前

Adam · Ada中的信号量

7 年前

Brighter side user295691 · 在Ada中改变其值的常数

7 年前

LoneWanderer · Ada库初始化/细化和GPR指令:找不到细化符号

7 年前

digitig · 数组总计的Spark Ada后置条件

7 年前

Mate · “ADA.FLOAT_IO”不是预定义的库单元

8 年前