Bug 366760

Summary:	[java7] handler pointcut with multi catch can get verify error
Product:	[Tools] AspectJ	Reporter:	Andrew Clement <aclement>
Component:	Compiler	Assignee:	aspectj inbox <aspectj-inbox>
Status:	NEW ---	QA Contact:
Severity:	critical
Priority:	P3
Version:	1.6.12
Target Milestone:	---
Hardware:	PC
OS:	Windows 7
Whiteboard:

Description Andrew Clement

2011-12-14 16:55:16 EST

Due to multi catch being implemented as a single code block with multiple possible unrelated exception types flowing through it, we need to guard on calls to handler related advice to check the exception is what was specified at match time. See test testMultiCatchWithHandler2 in Ajc170Tests (need to run it to see verifyerror)

Comment 1 Andrew Clement

2011-12-14 16:56:21 EST

likely needs a change in BcelClassWeaver.match(LazyMethodGen,InstructionHandle,BcelShadow,List<BcelShadow>) to recognize multi catch, and tell the created exception handler shadows that they need a test in any residue.