trixie-backports/gcc-14
1
0
Fork 0
Code Activity
Files
main
gcc-14/debian/ada/confirm_debian_bugs.py
Konstantin Demin c2c1923c7b initial import from Debian 
version: 14.3.0-5
commit: bee30ab0fff2fd6af94c62376c8aa4221bb831e0
2025-08-11 15:00:09 +03:00

900 lines
23 KiB
Python
Raw Permalink Blame History

#!/usr/bin/python3
# Helper when migrating bugs from a gnat version to another.
# Attempt to reproduce each known GNAT bug with version BV.
# Reports results as control@bugs.debian.org commands.
# Only remove temporary subdirectories when the bug is reproduced.
# python3 confirm_debian_bugs.py same BV -> found | fixed
# python3 confirm_debian_bugs.py new BV -> reassign | retitle
# flake8 confirm_debian_bugs.py
# pylint confirm_debian_bugs.py
# mypy confirm_debian_bugs.py
# rm -fr .mypy_cache/
# pylint: disable=too-many-lines
# pylint: disable=missing-module-docstring
# pylint: disable=missing-function-docstring
import os.path
import re
import shutil
import subprocess
import sys
import tempfile
import typing
Make: typing.TypeAlias = typing.Sequence[str]
Sources: typing.TypeAlias = typing.Iterable[tuple[str, str]]
os.environ['LC_ALL'] = 'C'
assert len(sys.argv) == 3, 'expected same|new new_version'
assert sys.argv[1] in ("same", "new")
SAME_GCC_BASE_VERSION = sys.argv[1] == "same"
new_version = sys.argv[2]
for line in subprocess.check_output(
("dpkg", "--status", f"gnat-{new_version}")).decode().split("\n"):
if line.startswith("Version: "):
deb_version = line[len("Version: "):]
break
# Will cause an error later if deb_version is not defined.
# Each bug has its own subdirectory in WORKSPACE.
# Every bug subdir is removed if the bug is confirmed,
# and WORKSPACE is removed if empty.
workspace = tempfile.mkdtemp(suffix=f"-gnat-{new_version}-bugs")
def attempt_to_reproduce(bug: int,
make: Make,
sources: Sources,
) -> tuple[str, int, str]:
tmp_dir = os.path.join(workspace, f"bug{bug}")
os.mkdir(tmp_dir)
for (name, contents) in sources:
with open(os.path.join(tmp_dir, name), "w", encoding="UTF-8") as out_f:
out_f.write(contents)
path = os.path.join(tmp_dir, "stderr.log")
with open(path, "w", encoding="UTF-8") as out_f:
status = subprocess.call(make, stderr=out_f, cwd=tmp_dir)
with open(path, "r", encoding="UTF-8") as in_f:
stderr = in_f.read()
return tmp_dir, status, stderr
def reassign_and_remove_dir(bug: int, tmp_dir: str) -> None:
if SAME_GCC_BASE_VERSION:
print(f"found {bug} {deb_version}")
else:
print(f"reassign {bug} gnat-{new_version} {deb_version}")
shutil.rmtree(tmp_dir)
def report(bug: int, message: str, output: str) -> None:
print(f"# {bug}: {message}.")
for report_line in output.split("\n"):
print(f"# {report_line}")
def report_and_retitle(bug: int, message: str, output: str) -> None:
report(bug, message, output)
if SAME_GCC_BASE_VERSION:
print(f"fixed {bug} {deb_version}")
else:
print(f"retitle {bug} [Fixed in {new_version}] <current title>")
def check_compiles_but_should_not(bug: int,
make: Make,
sources: Sources,
) -> None:
tmp_dir, status, stderr = attempt_to_reproduce(bug, make, sources)
if status == 0:
reassign_and_remove_dir(bug, tmp_dir)
else:
report_and_retitle(bug, "now fails to compile (bug is fixed?)", stderr)
def check_reports_an_error_but_should_not(bug: int,
make: Make,
sources: Sources,
regex: str,
) -> None:
tmp_dir, status, stderr = attempt_to_reproduce(bug, make, sources)
if status == 0:
report_and_retitle(bug, "now compiles (bug is fixed?)", stderr)
elif re.search(regex, stderr):
reassign_and_remove_dir(bug, tmp_dir)
else:
report(bug, "still fails to compile, but with a new stderr", stderr)
def check_reports_error_but_forgets_one(bug: int,
make: Make,
sources: Sources,
regex: str,
) -> None:
tmp_dir, status, stderr = attempt_to_reproduce(bug, make, sources)
if status == 0:
report(bug, "now compiles (?)", stderr)
elif re.search(regex, stderr):
report_and_retitle(bug, "now reports the error (bug is fixed ?)",
stderr)
else:
reassign_and_remove_dir(bug, tmp_dir)
def check_produces_a_faulty_executable(bug: int,
make: Make,
sources: Sources,
regex: str,
trigger: str,
) -> None:
tmp_dir, status, stderr = attempt_to_reproduce(bug, make, sources)
if status != 0:
report(bug, "cannot compile the trigger anymore", stderr)
else:
output = subprocess.check_output((os.path.join(tmp_dir, trigger), ),
cwd=tmp_dir).decode()
if re.search(regex, output):
reassign_and_remove_dir(bug, tmp_dir)
else:
report_and_retitle(bug,
"output of the trigger changed (bug fixed?)",
output)
######################################################################
check_reports_an_error_but_should_not(
bug=244936,
make=(f"gnatmake-{new_version}", "p"),
regex='p[.]ads:3:25: error: '
'"foo" is hidden within declaration of instance',
sources=(
("foo.ads", """generic
procedure foo;
"""),
("foo.adb", """procedure foo is
begin
null;
end foo;
"""), ("p.ads", """with foo;
package p is
procedure FOO is new foo; -- OK
end p;
""")))
check_reports_an_error_but_should_not(
bug=246187,
make=(f"gnatmake-{new_version}", "test_43"),
regex="Error detected at test_43.ads:11:4",
sources=(
("test_43.ads", """package Test_43 is
type T1 is private;
private
type T2 is record
a: T1;
end record;
type T2_Ptr is access T2;
type T1 is record
n: T2_Ptr := new T2;
end record;
end Test_43;
"""),))
check_compiles_but_should_not(
bug=247013,
make=(f"gnatmake-{new_version}", "test_53"),
sources=(
("test_53.ads", """generic
type T1 is private;
package Test_53 is
type T2 (x: integer) is new T1; -- ERROR: x not used
end Test_53;
"""),))
check_compiles_but_should_not(
bug=247017,
make=(f"gnatmake-{new_version}", "test_59"),
sources=(
("test_59.adb", """procedure Test_59 is
generic
type T1 (<>) is private;
procedure p1(x: out T1);
procedure p1 (x: out T1) is
b: boolean := x'constrained; --ERROR: not a discriminated type
begin
null;
end p1;
begin
null;
end Test_59;
"""),))
check_compiles_but_should_not(
bug=247018,
make=(f"gnatmake-{new_version}", "test_60"),
sources=(
("pak1.ads", """package pak1 is
generic
package pak2 is
end pak2;
end pak1;
"""),
("test_60.ads", """with pak1;
package Test_60 is
package PAK1 is new pak1.pak2; --ERROR: illegal reference to pak1
end Test_60;
""")))
check_compiles_but_should_not(
bug=247019,
make=(f"gnatmake-{new_version}", "test_61"),
sources=(
("test_61.adb", """procedure Test_61 is
procedure p1;
generic
package pak1 is
procedure p2 renames p1;
end pak1;
package new_pak1 is new pak1;
procedure p1 renames new_pak1.p2; --ERROR: circular renames
begin
p1;
end Test_61;
"""),))
check_produces_a_faulty_executable(
bug=247569,
make=(f"gnatmake-{new_version}", "test_75"),
trigger="test_75",
regex="failed: wrong p1 called",
sources=(
("test_75.adb", """with text_io;
procedure Test_75 is
generic
package pak1 is
type T1 is null record;
end pak1;
generic
with package A is new pak1(<>);
with package B is new pak1(<>);
package pak2 is
procedure p1(x: B.T1);
procedure p1(x: A.T1);
end pak2;
package body pak2 is
procedure p1(x: B.T1) is
begin
text_io.put_line("failed: wrong p1 called");
end p1;
procedure p1(x: A.T1) is
begin
text_io.put_line("passed");
end p1;
x: A.T1;
begin
p1(x);
end pak2;
package new_pak1 is new pak1;
package new_pak2 is new pak2(new_pak1, new_pak1); -- (1)
begin
null;
end Test_75;
"""),))
check_compiles_but_should_not(
bug=247570,
make=(f"gnatmake-{new_version}", "test_76"),
sources=(
("test_76.adb", """procedure Test_76 is
generic
procedure p1;
pragma Convention (Ada, p1);
procedure p1 is
begin
null;
end p1;
procedure new_p1 is new p1;
pragma Convention (Ada, new_p1); --ERROR: new_p1 already frozen
begin
null;
end Test_76;
"""),))
check_produces_a_faulty_executable(
bug=247571,
make=(f"gnatmake-{new_version}", "test_77"),
trigger="test_77",
regex="failed: wrong p1 called",
sources=(
("pak.ads", """package pak is
procedure p1;
procedure p1(x: integer);
pragma export(ada, p1);
end pak;
"""),
("pak.adb", """with text_io; use text_io;
package body pak is
procedure p1 is
begin
put_line("passed");
end;
procedure p1(x: integer) is
begin
put_line("failed: wrong p1 called");
end;
end pak;
"""),
("test_77.adb", """with pak;
procedure Test_77 is
procedure p1;
pragma import(ada, p1);
begin
p1;
end Test_77;
""")))
check_compiles_but_should_not(
bug=248166,
make=(f"gnatmake-{new_version}", "test_82"),
sources=(
("test_82.adb", """procedure Test_82 is
package pak1 is
type T1 is tagged null record;
end pak1;
package body pak1 is
-- type T1 is tagged null record; -- line 7
function "=" (x, y : T1'class) return boolean is -- line 9
begin
return true;
end "=";
procedure proc (x, y : T1'class) is
b : boolean;
begin
b := x = y; --ERROR: ambiguous "="
end proc;
end pak1;
begin
null;
end Test_82;
"""),))
check_compiles_but_should_not(
bug=248168,
make=(f"gnatmake-{new_version}", "test_84"),
sources=(
("test_84.adb", """procedure Test_84 is
package pak1 is
type T1 is abstract tagged null record;
procedure p1(x: in out T1) is abstract;
end pak1;
type T2 is new pak1.T1 with null record;
protected type T3 is
end T3;
protected body T3 is
end T3;
procedure p1(x: in out T2) is --ERROR: declared after body of T3
begin
null;
end p1;
begin
null;
end Test_84;
"""),))
check_compiles_but_should_not(
bug=248678,
make=(f"gnatmake-{new_version}", "test_80"),
sources=(
("test_80.ads", """package Test_80 is
generic
type T1(<>) is private;
with function "=" (Left, Right : T1) return Boolean is <>;
package pak1 is
end pak1;
package pak2 is
type T2 is abstract tagged null record;
package new_pak1 is new pak1 (T2'Class); --ERROR: no matching "="
end pak2;
end Test_80;
"""),))
check_compiles_but_should_not(
bug=248681,
make=(f"gnatmake-{new_version}", "test_91"),
sources=(
("test_91.adb", """-- RM 8.5.4(5)
-- ...the convention of the renamed subprogram shall not be
-- Intrinsic.
with unchecked_deallocation;
procedure Test_91 is
generic -- when non generic, we get the expected error
package pak1 is
type int_ptr is access integer;
procedure free(x: in out int_ptr);
end pak1;
package body pak1 is
procedure deallocate is new
unchecked_deallocation(integer, int_ptr);
procedure free(x: in out int_ptr) renames
deallocate; --ERROR: renaming as body can't rename intrinsic
end pak1;
begin
null;
end Test_91;
"""),))
check_compiles_but_should_not(
bug=248682,
make=(f"gnatmake-{new_version}", "main"),
sources=(
("main.adb", """-- RM 6.3.1(9)
-- The default calling convention is Intrinsic for ... an attribute
-- that is a subprogram;
-- RM 8.5.4(5)
-- ...the convention of the renamed subprogram shall not be
-- Intrinsic.
procedure main is
package pak1 is
function f1(x: integer'base) return integer'base;
end pak1;
package body pak1 is
function f1(x: integer'base) return integer'base renames
integer'succ; --ERROR: renaming as body can't rename intrinsic
end pak1;
begin
null;
end;
"""),))
check_reports_an_error_but_should_not(
bug=253737,
make=(f"gnatmake-{new_version}", "test_4"),
regex='test_4[.]ads:3:01: error: "pak2" not declared in "pak1"',
sources=(
("parent.ads", """generic
package parent is
end parent;
"""),
("parent-pak2.ads", """generic
package parent.pak2 is
end parent.pak2;
"""),
("parent-pak2-pak3.ads", """generic
package parent.pak2.pak3 is
end parent.pak2.pak3;
"""),
("parent-pak2-pak4.ads", """with parent.pak2.pak3;
generic
package parent.pak2.pak4 is
package pak3 is new parent.pak2.pak3;
end parent.pak2.pak4;
"""),
("pak1.ads", """with parent;
package pak1 is new parent;
"""),
("pak6.ads", """with parent.pak2;
with pak1;
package pak6 is new pak1.pak2;
"""),
("test_4.ads", """with parent.pak2.pak4;
with pak6;
package Test_4 is new pak6.pak4;
""")))
check_compiles_but_should_not(
bug=269948,
make=(f"gnatmake-{new_version}", "test_119"),
sources=(
("test_119.ads", """
-- RM 3.9.3/11 A generic actual subprogram shall not be an abstract
-- subprogram. works OK if unrelated line (A) is commented out.
package Test_119 is
generic
with function "=" (X, Y : integer) return Boolean is <>;
-- Removing this allows GCC to detect the problem.
package pak1 is
function "=" (X, Y: float) return Boolean is abstract;
generic
with function Equal (X, Y : float) return Boolean is "="; --ERROR:
package pak2 is
end pak2;
end pak1;
package new_pak1 is new pak1;
package new_pak2 is new new_pak1.pak2;
end Test_119;
"""),))
check_compiles_but_should_not(
bug=269951,
make=(f"gnatmake-{new_version}", "test_118"),
sources=(
("pak1.ads", """generic
package pak1 is
end pak1;
"""),
("pak1-foo.ads", """generic
package pak1.foo is
end pak1.foo;
"""),
("test_118.ads", """with pak1.foo;
package Test_118 is
package pak3 is
foo: integer;
end pak3;
use pak3;
package new_pak1 is new pak1;
use new_pak1;
x: integer := foo; -- ERROR: foo hidden by use clauses
end Test_118;
"""),))
# As long as 24:14 is detected, it inhibits detection of 25:21.
check_reports_error_but_forgets_one(
bug=276224,
make=(f"gnatmake-{new_version}", "test_121"),
regex="test_121[.]adb:25:21: dynamically tagged expression not allowed",
sources=(
("test_121.adb",
"""-- If the expected type for an expression or name is some specific
-- tagged type, then the expression or name shall not be dynamically
-- tagged unless it is a controlling operand in a call on a
-- dispatching operation.
procedure Test_121 is
package pak1 is
type T1 is tagged null record;
function f1 (x1: T1) return T1;
end pak1;
package body pak1 is
function f1 (x1: T1) return T1 is
begin
return x1;
end;
end pak1;
use pak1;
type T2 is record
a1: T1;
end record;
z0: T1'class := T1'(null record);
z1: T1 := f1(z0); -- ERROR: gnat correctly rejects
z2: T2 := (a1 => f1(z0)); -- ERROR: gnat mistakenly allows
begin
null;
end Test_121;
"""),))
check_reports_an_error_but_should_not(
bug=276227,
make=(f"gnatmake-{new_version}", "test_124"),
regex='test_124[.]ads:6:35: error: '
'size for "T_arr_constrained" too small, minimum allowed is 256',
sources=(
("test_124.ads", """package Test_124 is
type T is range 1 .. 32;
type T_arr_unconstrained is array (T range <>) of boolean;
type T_arr_constrained is new T_arr_unconstrained (T);
pragma pack (T_arr_unconstrained);
for T_arr_constrained'size use 32;
end Test_124;
"""),))
check_reports_an_error_but_should_not(
bug=278687,
make=(f"gnatmake-{new_version}", "test_127"),
regex='test_127[.]adb:10:21: error: expected type "T2" defined at line 4',
sources=(
("test_127.ads",
"""-- The second parameter of T2'Class'Read is of type T2'Class,
-- which should match an object of type T3, which is derived
-- from T2.
package test_127 is
pragma elaborate_body;
end test_127;
"""),
("test_127.adb", """with ada.streams;
package body test_127 is
type T1 is access all ada.streams.root_stream_type'class;
type T2 is tagged null record;
type T3 is new T2 with null record;
x: T1;
y: T3;
begin
T2'class'read(x, y);
end test_127;
""")))
check_compiles_but_should_not(
bug=278831,
make=(f"gnatmake-{new_version}", "test_128"),
sources=(
("test_128.ads", """package Test_128 is
package inner is
private
type T1;
end inner;
type T1_ptr is access inner.T1; -- line 9 ERROR: gnat mistakenly accepts
end Test_128;
"""),
("test_128.adb", """package body test_128 is
package body inner is
type T1 is new Integer;
end inner;
end Test_128;
""")))
# Note that we also check the absence of the next inhibited message.
check_reports_an_error_but_should_not(
bug=279893,
make=(f"gnatmake-{new_version}", "test_129"),
regex='test_129[.]ads:13:49: error: '
'designated type of actual does not match that of formal "T2"',
sources=(
("pak1.ads",
"""-- legal instantiation rejected; illegal instantiation accepted
-- adapted from John Woodruff c.l.a. post
generic
type T1 is private;
package pak1 is
subtype T3 is T1;
end pak1;
"""),
("pak2.ads", """with pak1;
generic
type T2 is private;
package pak2 is
package the_pak1 is new pak1 (T1 => T2);
end pak2;
"""),
("pak2-pak3.ads", """generic
type T2 is access the_pak1.T3;
package pak2.pak3 is
end pak2.pak3;
"""),
("test_129.ads", """with pak1;
with pak2.pak3;
package Test_129 is
type T4 is null record;
type T5 is null record;
subtype T3 is T5; -- line 9: triggers the bug at line 16
type T4_ptr is access T4;
type T5_ptr is access T5;
package new_pak2 is new pak2 (T2 => T4);
package new_pak3a is new new_pak2.pak3(T2 => T4_ptr); -- line 15: Legal
package new_pak3b is new new_pak2.pak3(T2 => T5_ptr); -- line 16: Illegal
end Test_129;
""")))
print("# Please ignore the gnatlink message.")
check_reports_an_error_but_should_not(
bug=280939,
make=(f"gnatmake-{new_version}", "test_130"),
regex="test_130[.]adb:.*: undefined reference to [`]p2\'",
sources=(
("pak1.ads",
"""-- RM 10.1.5(4) "the pragma shall have an argument that is a name
-- denoting that declaration."
-- RM 8.1(16) "The children of a parent library unit are inside the
-- parent's declarative region."
package pak1 is
pragma Pure;
end pak1;
"""),
("pak1-p2.ads", """procedure pak1.p2;
pragma Pure (p2); -- ERROR: need expanded name
pragma Import (ada, p2); -- ERROR: need expanded name
pragma Inline (p2); -- ERROR: need expanded name
"""),
("test_130.adb", """with Pak1.P2;
procedure Test_130 is
begin
Pak1.P2;
end Test_130;
""")))
check_compiles_but_should_not(
bug=283833,
make=(f"gnatmake-{new_version}", "test_132"),
sources=(
("pak1.ads",
"""-- RM 8.5.4(5) the convention of the renamed subprogram shall not
-- be Intrinsic, if the renaming-as-body completes that declaration
-- after the subprogram it declares is frozen.
-- RM 13.14(3) the end of the declaration of a library package
-- causes freezing of each entity declared within it.
-- RM 6.3.1(7) the default calling convention is Intrinsic for
-- any other implicitly declared subprogram unless it is a
-- dispatching operation of a tagged type.
package pak1 is
type T1 is null record;
procedure p1 (x1: T1);
type T2 is new T1;
end pak1;
"""),
("pak1.adb", """package body Pak1 is
procedure P1 (X1 : T1) is begin null; end P1;
end Pak1;
"""),
("test_132.ads", """with pak1;
package Test_132 is
procedure p2 (x2: pak1.T2);
end Test_132;
"""),
("test_132.adb", """package body Test_132 is
procedure p2 (x2: pak1.T2) renames pak1.p1; --ERROR: can't rename intrinsic
end Test_132;
""")))
check_compiles_but_should_not(
bug=283835,
make=(f"gnatmake-{new_version}", "test_133"),
sources=(
("test_133.ads", """package Test_133 is
package pak1 is
type T1 is null record;
end pak1;
package pak2 is
subtype boolean is standard.boolean;
function "=" (x, y: pak1.T1) return boolean;
end pak2;
use pak1, pak2;
x1: pak1.T1;
b1: boolean := x1 /= x1; -- ERROR: ambigous (gnat misses)
-- b2: boolean := x1 = x1; -- ERROR: ambigous
end Test_133;
"""),
("test_133.adb", """package body test_133 is
package body pak2 is
function "=" (x, y: pak1.T1) return boolean is
begin
return true;
end "=";
end pak2;
end test_133;
""")))
check_compiles_but_should_not(
bug=416979,
make=(f"gnatmake-{new_version}", "pak1"),
sources=(
("pak1.ads", """package pak1 is
-- RM 7.3(13), 4.9.1(1)
-- check that discriminants statically match
type T1(x1: integer) is tagged null record;
x2: integer := 2;
x3: constant integer := x2;
type T2 is new T1 (x2) with private;
type T3 is new T1 (x3) with private;
private
type T2 is new T1 (x2) with null record; --ERROR: nonstatic discriminant
type T3 is new T1 (x3) with null record; --ERROR: nonstatic discriminant
end pak1;
"""),))
check_reports_an_error_but_should_not(
bug=660698,
make=(f"gnatmake-{new_version}", "proc.adb"),
regex='proc[.]adb:17:28: error: '
'there is no applicable operator "And" for type "Standard[.]Integer"',
sources=(
("proc.adb", """procedure Proc is
package P1 is
type T is new Integer;
function "and" (L, R : in Integer) return T;
end P1;
package body P1 is
function "and" (L, R : in Integer) return T is
pragma Unreferenced (L, R);
begin
return 0;
end "and";
end P1;
use type P1.T;
package P2 is
use P1;
end P2;
G : P1.T := Integer'(1) and Integer'(2);
begin
null;
end Proc;
"""), ))
check_produces_a_faulty_executable(
bug=864969,
make=(f"gnatmake-{new_version}", "main"),
trigger="main",
regex="ZZund",
sources=(
("main.adb", """with Ada.Locales, Ada.Text_IO;
procedure Main is
begin
Ada.Text_IO.Put_Line (String (Ada.Locales.Country)
& String (Ada.Locales.Language));
end Main;
"""),))
check_produces_a_faulty_executable(
bug=894225,
make=(f"gnatmake-{new_version}", "main"),
trigger="main",
sources=(
("main.adb",
"""with Ada.Directories, Ada.Text_IO;
procedure Main is
begin
Ada.Text_IO.Put_Line (Ada.Directories.Containing_Directory ("/a/b/"));
Ada.Text_IO.Put_Line (Ada.Directories.Containing_Directory ("a/b/"));
Ada.Text_IO.Put_Line (Ada.Directories.Containing_Directory ("b/"));
end Main;
"""),
),
regex="""^/a/b
a/b
b$""")
try:
os.rmdir(workspace)
except OSError:
print(f"Some unconfirmed, not removing directory {workspace}.")
View Git Blame Copy Permalink