https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107391
Bug ID: 107391
Summary: decimal_literal with long exponent: Constraint_Error
uintp.adb:2287
Product: gcc
Version: 12.2.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: johannes.waldm...@htwk-leipzig.de
Target Milestone: ---
$ echo "procedure main is x : float := 1.1e11111111111111111111; begin null;
end main;" > main.adb
$ gcc -c main.adb
+===========================GNAT BUG DETECTED==============================+
| 12.2.1 20220819 (Red Hat 12.2.1-2) (x86_64-redhat-linux) Constraint_Error
uintp.adb:2287 explicit raise|
| Error detected at main.adb:1:32 |
| Compiling main.adb |
| Please submit a bug report; see https://gcc.gnu.org/bugs/ . |
$ gcc --version
gcc (GCC) 12.2.1 20220819 (Red Hat 12.2.1-2)
with up to ten digits in the exponent, I get the expected
$ echo "procedure main is x : float := 1.1e11111_11111; begin null; end main;"
> main.adb
$ gcc -c main.adb
main.adb:1:32: error: value not in range of type "Standard.Float"
main.adb:1:32: error: static expression fails Constraint_Check
