-
Bug
-
Resolution: Fixed
-
P4
-
1.0.2
-
1.1
-
sparc
-
solaris_2.4
-
Not verified
Verifier do not permit syncronization on array object:
--------------------------
import java.io.PrintStream;
public class stmt130
{
public static void main(String argv[])
{
System.exit(run(argv,System.out));
}
public static int run(String argv[],PrintStream out)
{
return 0;
}
void proc (PrintStream out) {
int t[] = new int [10];
synchronized (t) {
out.println ( "made it!" );
}
}
}
--------------------------
It complains on monitorenter and monitorexit instructions with
array argument with diagnostics:
Expecting to find object on stack
as if array is not valid object.
--------------------------
import java.io.PrintStream;
public class stmt130
{
public static void main(String argv[])
{
System.exit(run(argv,System.out));
}
public static int run(String argv[],PrintStream out)
{
return 0;
}
void proc (PrintStream out) {
int t[] = new int [10];
synchronized (t) {
out.println ( "made it!" );
}
}
}
--------------------------
It complains on monitorenter and monitorexit instructions with
array argument with diagnostics:
Expecting to find object on stack
as if array is not valid object.