tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1--- a/src/counterexamples/ce_parsing.adb 2025-03-14 21:48:15.657409808 +0100
2+++ b/src/counterexamples/ce_parsing.adb 2025-03-14 22:04:32.114664704 +0100
3@@ -975,6 +975,9 @@
4 elsif Is_Extended_Precision_Floating_Point_Type (Ty) then
5 pragma Assert (Size (Exp) = 15);
6 pragma Assert (Size (Significand) = 63);
7+ pragma Warnings (Off, "assertion will fail at run time");
8+ pragma Warnings (Off,
9+ "types for unchecked conversion have different sizes");
10 declare
11 package P is new Parse_Conversion
12 (Interfaces.Unsigned_128, Long_Long_Float);
13@@ -983,6 +986,9 @@
14 begin
15 return (Float_K, (Extended_K, F));
16 end;
17+ pragma Warnings (On,
18+ "types for unchecked conversion have different sizes");
19+ pragma Warnings (On, "assertion will fail at run time");
20 else
21 raise Program_Error;
22 end if;