java/4189: gcj generates bytecode for switch stmt that doesn't verify

java/4189: gcj generates bytecode for switch stmt that doesn't verify

[apbianco]

>Number:         4189
>Category:       java
>Synopsis:       gcj generates bytecode for switch stmt that doesn't verify
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Aug 31 16:06:00 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     Alex Petit-Bianco
>Release:        unknown-1.0
>Organization:
>Environment:
RHL7.1/x86, trunk and 3.0.x.
>Description:
$ gcj -C test.java  ; gcj test.class -c
test.java: In class `test':
test.java: In method `test.foo(int)':
test.java:4: verification error at PC=1
test.java:4: stack overflow

test.java is attached. Note that adding a second case
statement will help get rid of the verifier error.
>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: application/octet-stream; name="test.java"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="test.java"

Ly8gZ2NqIC1DIHRlc3QuamF2YTsgZ2NqIC1jIHRlc3QuY2xhc3MKY2xhc3MgdGVzdCB7CiAgICB2
b2lkIGZvbyAoaW50IHR5cGUpIHsKCXN3aXRjaCAodHlwZSkgewoJY2FzZSAzOgoJICAgIGJyZWFr
OwoJLy8gVW5jb21tZW50aW5nIHRoZSBuZXh0IHR3byBsaW5lcyB3aWxsIG1ha2UgaXQgd29yay4K
ICAgICAgICAvLyBjYXNlIDQ6CiAgICAgICAgLy8gICAgIGJyZWFrOwoJfQogICAgfQp9Cg==

Re: java/4189: gcj generates bytecode for switch stmt that doesn't verify

[tromey]

Synopsis: gcj generates bytecode for switch stmt that doesn't verify

State-Changed-From-To: analyzed->closed
State-Changed-By: tromey
State-Changed-When: Mon Sep 17 10:03:51 2001
State-Changed-Why:
    I checked in the fix.

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

Re: java/4189: gcj generates bytecode for switch stmt that doesn't verify

[tromey]

Synopsis: gcj generates bytecode for switch stmt that doesn't verify

Responsible-Changed-From-To: unassigned->tromey
Responsible-Changed-By: tromey
Responsible-Changed-When: Sun Sep 16 17:30:48 2001
Responsible-Changed-Why:
    I'm handling this.
State-Changed-From-To: open->analyzed
State-Changed-By: tromey
State-Changed-When: Sun Sep 16 17:30:48 2001
State-Changed-Why:
    The problem is a stack overflow.
    The bytecode generator fails to call NOTE_PUSH in the
    single-case part of switch code generation.
    I have a patch which I'll submit shortly.

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