Bug 36673 - VerifyError in privileged aspect
Summary: VerifyError in privileged aspect
Status: RESOLVED FIXED
Alias: None
Product: AspectJ
Classification: Tools
Component: Compiler (show other bugs)
Version: unspecified   Edit
Hardware: PC Windows NT
: P1 critical (vote)
Target Milestone: ---   Edit
Assignee: Jim Hugunin CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2003-04-19 16:42 EDT by Wes Isberg CLA
Modified: 2003-04-22 13:32 EDT (History)
0 users

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Wes Isberg CLA 2003-04-19 16:42:38 EDT
When running the code below, get message
-------
java.lang.VerifyError: (class: Privilege, method: main signature:
([Ljava/lang/String;)V) Incompatible argument to function
-------
Code in tests/new/verifyError/Privilege.java:

-------
import org.aspectj.testing.Tester;

class C {
	private int i;
}

privileged aspect A {
	private int C.j = 1;
}

public privileged aspect Privilege {
	public static void main(String[] args) {
	    C c = new C();
		Tester.check(1 == c.j, "wrong value for c.j");
	}	
}
Comment 1 Wes Isberg CLA 2003-04-19 16:43:24 EDT
P1 as runtime VerifyError.
Comment 2 Jim Hugunin CLA 2003-04-22 13:32:25 EDT
fixed in tree, test expanded minimally to cover static fields and methods