[Bug ada/23519] Dividing fixed point number by zero returns zero.

2006-01-17 Thread simon at pushface dot org
--- Comment #12 from simon at pushface dot org 2006-01-17 22:14 --- Subject: Re: Dividing fixed point number by zero returns zero. On 17 Jan 2006, at 21:31, listor1 dot rombobeorn at comhem dot se wrote: > Excuse me, what's the reason for marking this bug as invalid? That an > excepti

[Bug ada/23519] Dividing fixed point number by zero returns zero.

2006-01-17 Thread listor1 dot rombobeorn at comhem dot se
--- Comment #11 from listor1 dot rombobeorn at comhem dot se 2006-01-17 21:31 --- Subject: Re: Dividing fixed point number by zero returns zero. Excuse me, what's the reason for marking this bug as invalid? That an exception on division by zero isn't required? -- http://gcc.gnu.

[Bug ada/23519] Dividing fixed point number by zero returns zero.

2006-01-10 Thread pinskia at gcc dot gnu dot org
--- Comment #10 from pinskia at gcc dot gnu dot org 2006-01-10 13:16 --- No feedback in 3 months. -- pinskia at gcc dot gnu dot org changed: What|Removed |Added

[Bug ada/23519] Dividing fixed point number by zero returns zero.

2005-08-31 Thread dje at gcc dot gnu dot org
--- Additional Comments From dje at gcc dot gnu dot org 2005-08-31 16:18 --- On PowerPC, one needs to emit arithmetic instructions using the mnemonic with the "o" suffix to test for overflow (including divide by zero). The GCC language and/or front-end would need to inform the backend

[Bug ada/23519] Dividing fixed point number by zero returns zero.

2005-08-23 Thread simon at pushface dot org
--- Additional Comments From simon at pushface dot org 2005-08-23 20:55 --- The behaviour with -gnato and without is the same. On the other hand, 'digits 18' fails as shown,'digits 9' gives the exception ... and 'Machine_Overflows is True. -- http://gcc.gnu.org/bugzilla/show_bug.cg

[Bug ada/23519] Dividing fixed point number by zero returns zero.

2005-08-22 Thread laurent at guerby dot net
--- Additional Comments From laurent at guerby dot net 2005-08-22 20:42 --- Could you try to add before "end g;" the following line: Ada.Text_IO.Put_Line (Boolean'Image (T'Machine_Overflows)); And report wether it prints True or False? On x86 and x86_64-linux it prints True but I do

[Bug ada/23519] Dividing fixed point number by zero returns zero.

2005-08-22 Thread charlet at adacore dot com
--- Additional Comments From charlet at adacore dot com 2005-08-22 20:39 --- Subject: Re: Dividing fixed point number by zero returns zero. > This is a true front-end bug as on PPC divide by zero (in an instruction) > does not raise an exception so > there needs to be an extra check

[Bug ada/23519] Dividing fixed point number by zero returns zero.

2005-08-22 Thread pinskia at gcc dot gnu dot org
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-08-22 20:27 --- This is a true front-end bug as on PPC divide by zero (in an instruction) does not raise an exception so there needs to be an extra check which should have been added by the front-end. Confirmed on the ma

[Bug ada/23519] Dividing fixed point number by zero returns zero.

2005-08-22 Thread pinskia at gcc dot gnu dot org
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-08-22 20:24 --- Does Ada require divide by zero throw an exception or is it just undefined? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23519

[Bug ada/23519] Dividing fixed point number by zero returns zero.

2005-08-22 Thread listor1 dot rombobeorn at comhem dot se
--- Additional Comments From listor1 dot rombobeorn at comhem dot se 2005-08-22 20:23 --- Created an attachment (id=9557) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9557&action=view) shorter test case, not tried but expected to show the same behaviour -- http://gcc.gnu.org/

[Bug ada/23519] Dividing fixed point number by zero returns zero.

2005-08-22 Thread listor1 dot rombobeorn at comhem dot se
--- Additional Comments From listor1 dot rombobeorn at comhem dot se 2005-08-22 20:21 --- Created an attachment (id=9556) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9556&action=view) test case reported to fail -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23519