java/3097: Divide by zero does not work with long

java/3097: Divide by zero does not work with long

[aneesha]

>Number:         3097
>Category:       java
>Synopsis:       Divide by zero does not work with long
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          wrong-code
>Submitter-Id:   net
>Arrival-Date:   Fri Jun 08 16:56:01 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     Aneesh Aggarwal
>Release:        gcc version 3.1 20010601 (experimental)
>Organization:
>Environment:
Linux 2.4 on x86
>Description:
On division by zero for a long, NO exception is thrown.
The program crashes.
It, however, works correctly for int.
>How-To-Repeat:
public class div_test {
     public static void main(String [] args) {
        long a = 10, b = 0;
        try {
           a = a/b;
        }
        catch (java.lang.Exception e) {
           System.out.println("Div by zero working");
        }
     }
   }
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted:

Re: java/3097: Divide by zero does not work with long

[tromey]

Synopsis: Divide by zero does not work with long

Responsible-Changed-From-To: unassigned->tromey
Responsible-Changed-By: tromey
Responsible-Changed-When: Wed Jun 13 14:09:18 2001
Responsible-Changed-Why:
    I handled it.
State-Changed-From-To: analyzed->closed
State-Changed-By: tromey
State-Changed-When: Wed Jun 13 14:09:18 2001
State-Changed-Why:
    I've fixed this for the gcc 3.0 release.
    It remains broken for gcc 3.1 (the cvs trunk).
    I believe Andrew will be looking at a better
    way to fix the problem there.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3097&database=gcc