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

apbianco@cygnus.com apbianco@cygnus.com
Fri Aug 31 16:06:00 GMT 2001


>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==



More information about the Gcc-bugs mailing list