https://gcc.gnu.org/bugzilla/show_bug.cgi?id=33994
Eric Botcazou changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
--- Comment #4 from bauhaus at futureapps dot de 2007-11-29 10:25 ---
I expect that in the case described in the report (#0)
the compiler does not produce wrong code.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33994
--- Comment #5 from bauhaus at futureapps dot de 2007-11-29 10:27 ---
BTW, I have named the procedure Too_Big for
a reason ... :-)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33994
--- Comment #3 from sam at gcc dot gnu dot org 2007-11-28 22:29 ---
Well, what do you expect by trying to declare an array of size 2**48 - 2**40 +
1, which is much greater than the 2**32 bytes of addressable memory on your
i686-pc-linux-gnu target? :/
(2**48) % (2**32) = 0 = (2**40) %
--- Comment #1 from bauhaus at futureapps dot de 2007-11-04 22:55 ---
$ S$ uname -a
Linux K72 2.6.22-14-generic #1 SMP Sun Oct 14 23:05:12 GMT 2007 i686 GNU/Linux
$ gnatmake -save-temps -gnata -gnato -gnatwa -S too_big.adb -cargs -v -largs -v
gcc -c -save-temps -gnata -gnato -gnatwa -S
--- Comment #2 from bauhaus at futureapps dot de 2007-11-04 23:02 ---
Side note: With a special command line, this program
triggers a bug box with gcc 4.1.3 (Ubuntu 7.10 i686).
$ gnatmake -W -S -march=x86-64 -m64 -Os too_big.adb
gcc-4.1 -c -W -S -march=x86-64 -m64 -Os too_big.adb