646b892680
Some checks failed
Periodic Merges (6h) / master → staging-nixos (push) Failing after 12m50s
Periodic Merges (6h) / master → staging-next (push) Failing after 12m54s
Periodic Merges (24h) / merge-base(master,staging) → haskell-updates (push) Failing after 11m54s
Periodic Merges (6h) / staging-next → staging (push) Failing after 12m13s
Periodic Merges (24h) / staging-next-25.05 → staging-25.05 (push) Failing after 13m24s
Periodic Merges (24h) / release-25.05 → staging-next-25.05 (push) Failing after 14m28s
23 lines
1.1 KiB
Diff
23 lines
1.1 KiB
Diff
--- a/src/counterexamples/ce_parsing.adb 2025-03-14 21:48:15.657409808 +0100
|
|
+++ b/src/counterexamples/ce_parsing.adb 2025-03-14 22:04:32.114664704 +0100
|
|
@@ -975,6 +975,9 @@
|
|
elsif Is_Extended_Precision_Floating_Point_Type (Ty) then
|
|
pragma Assert (Size (Exp) = 15);
|
|
pragma Assert (Size (Significand) = 63);
|
|
+ pragma Warnings (Off, "assertion will fail at run time");
|
|
+ pragma Warnings (Off,
|
|
+ "types for unchecked conversion have different sizes");
|
|
declare
|
|
package P is new Parse_Conversion
|
|
(Interfaces.Unsigned_128, Long_Long_Float);
|
|
@@ -983,6 +986,9 @@
|
|
begin
|
|
return (Float_K, (Extended_K, F));
|
|
end;
|
|
+ pragma Warnings (On,
|
|
+ "types for unchecked conversion have different sizes");
|
|
+ pragma Warnings (On, "assertion will fail at run time");
|
|
else
|
|
raise Program_Error;
|
|
end if;
|