Index: src/org/aspectj/systemtest/ajc150/Ajc150Tests.java =================================================================== RCS file: /home/technology/org.aspectj/modules/tests/src/org/aspectj/systemtest/ajc150/Ajc150Tests.java,v --- src/org/aspectj/systemtest/ajc150/Ajc150Tests.java 24 Oct 2005 07:33:49 -0000 1.104 +++ src/org/aspectj/systemtest/ajc150/Ajc150Tests.java 26 Oct 2005 07:50:29 -0000 @@ -629,6 +629,10 @@ runTest("weaveinfo message for declare at method on an ITDd method"); } + public void testNoVerifyErrorWithTwoThisPCDs_pr113447() { + runTest("no verify error with two this pcds"); + } + // helper methods..... public SyntheticRepository createRepos(File cpentry) { Index: src/org/aspectj/systemtest/ajc150/ajc150.xml =================================================================== RCS file: /home/technology/org.aspectj/modules/tests/src/org/aspectj/systemtest/ajc150/ajc150.xml,v --- src/org/aspectj/systemtest/ajc150/ajc150.xml 25 Oct 2005 11:17:29 -0000 1.172 +++ src/org/aspectj/systemtest/ajc150/ajc150.xml 26 Oct 2005 07:50:33 -0000 @@ -686,6 +686,12 @@ + + + + + + Index: bugs150/PR113447.java =================================================================== RCS file: bugs150/PR113447.java --- /dev/null 1 Jan 1970 00:00:00 -0000 +++ bugs150/PR113447.java 1 Jan 1970 00:00:00 -0000 @@ -0,0 +1,19 @@ +public class PR113447 { + + public static void main(String[] args) { + PR113447 me = new PR113447(); + me.method1(); + } + + public void method1(){} + +} + +aspect Super { + pointcut pc(PR113447 s) : + (this(s) && execution(void method1())) + || (this(s) && execution(void method2())); + + before(PR113447 s) : pc(s) { + } +}