[ nice-Bugs-976723 ] VerifyError w/ (?int,?int)

Bugs item #976723, was opened at 2004-06-21 15:33
Message generated for change (Comment added) made by bonniot
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=976723&group_id=12788

Category: None
Group: None
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Bryn Keller (xoltar)
>Assigned to: Daniel Bonniot (bonniot)
Summary: VerifyError w/ (?int,?int)

Initial Comment:
With latest CVS version:

(int,int) foo((?int,?int) tup) 
{
  (?int a, ?int b) = tup;
  return (a || 0, b || 0);
}

void main(String[] args) {
  println(foo((null, 3)));
}

Compiles, but fails at runtime with:

C:\src\nice>java -jar test.jar
Exception in thread "main" java.lang.VerifyError:
(class: test/fun, method: main
 signature: ([Ljava/lang/String;)V) Expecting to find
integer on stack
        at test.dispatch.main(dispatch.nice)

----------------------------------------------------------------------

>Comment By: Daniel Bonniot (bonniot)
Date: 2004-06-21 19:13

Message:
Logged In: YES 
user_id=88952

Just fixed it. I could actually simplify the code
responsible for this part of code generation, so it's a
win-win :-)


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=976723&group_id=12788


-------------------------------------------------------
This SF.Net email sponsored by Black Hat Briefings & Training.
Attend Black Hat Briefings & Training, Las Vegas July 24-29 - 
digital self defense, top technical experts, no vendor pitches, 
unmatched networking opportunities. Visit www.blackhat.com