[Bug ada/21959] [4.1 Regression] Ada depends on signed overflow

2005-06-17 Thread ebotcazou at gcc dot gnu dot org
--- Additional Comments From ebotcazou at gcc dot gnu dot org 2005-06-17 20:23 --- > No because Ada front-end is creating: > signed_char <= 127 which is always true, removing this from fold would not > change the problem as it will still be optimized away. Where do you see signed_char?

[Bug ada/21959] [4.1 Regression] Ada depends on signed overflow

2005-06-17 Thread pinskia at gcc dot gnu dot org
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-17 20:02 --- (In reply to comment #8) > Well, it seems to me that the culprit is fold, no? No because Ada front-end is creating: signed_char <= 127 which is always true, removing this from fold would not change the pro

[Bug ada/21959] [4.1 Regression] Ada depends on signed overflow

2005-06-17 Thread ebotcazou at gcc dot gnu dot org
--- Additional Comments From ebotcazou at gcc dot gnu dot org 2005-06-17 19:56 --- Well, it seems to me that the culprit is fold, no? else if (!in_gimple_form && TREE_INT_CST_HIGH (arg1) == signed_max_hi && TREE_INT_CST_LOW (arg1) ==

[Bug ada/21959] [4.1 Regression] Ada depends on signed overflow

2005-06-10 Thread pinskia at gcc dot gnu dot org
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-10 21:26 --- (In reply to comment #6) > with this workaround stage3 fails :/ Yes that is PR 21994 and then we are blocked by 21923. -- What|Removed |Added ---

[Bug ada/21959] [4.1 Regression] Ada depends on signed overflow

2005-06-10 Thread pluto at agmk dot net
--- Additional Comments From pluto at agmk dot net 2005-06-10 21:23 --- with this workaround stage3 fails :/ (...) ../../xgcc -B../../ -c -g -O2 -fPIC -W -Wall -gnatpg a-ncelfu.ads -o a-ncelfu.o a-ngcefu.adb: In function 'Ada.Numerics.Complex_Elementary_Functions.Sqrt': a-ng

[Bug ada/21959] [4.1 Regression] Ada depends on signed overflow

2005-06-10 Thread pinskia at gcc dot gnu dot org
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-10 18:52 --- (In reply to comment #4) as the thread said this is only a workaround. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21959

[Bug ada/21959] [4.1 Regression] Ada depends on signed overflow

2005-06-10 Thread schwab at suse dot de
--- Additional Comments From schwab at suse dot de 2005-06-10 16:59 --- > hmm, I can't test the 4.1 bootstrap with -fwrapv due to xgcc error. Try this to enable -fwrapv by default: --- misc.c 01 Jun 2005 10:00:47 +0200 1.102 +++ misc.c 08 Jun 2005 14:58:25 +0200 @@

[Bug ada/21959] [4.1 Regression] Ada depends on signed overflow

2005-06-10 Thread schwab at suse dot de
--- Additional Comments From schwab at suse dot de 2005-06-10 16:57 --- > hmm, I can't test the 4.1 bootstrap with -fwrapv due to xgcc error. Try this > to enable -fwrapv by default: --- misc.c 01 Jun 2005 10:00:47 +0200 > 1.102 +++ misc.c08 Jun 2005 14:58:25 +0200

[Bug ada/21959] [4.1 Regression] Ada depends on signed overflow

2005-06-09 Thread pluto at agmk dot net
--- Additional Comments From pluto at agmk dot net 2005-06-09 11:59 --- hmm, I can't test the 4.1 bootstrap with -fwrapv due to xgcc error. make -C obj-amd64-pld-linux \ bootstrap \ GCJFLAGS="%{rpmcflags}" \ BOOT_ADAFLAGS="%{rpmcflags} -fwrapv" \ GNATLIBCF