Bug 366760 - [java7] handler pointcut with multi catch can get verify error
Summary: [java7] handler pointcut with multi catch can get verify error
Status: NEW
Alias: None
Product: AspectJ
Classification: Tools
Component: Compiler (show other bugs)
Version: 1.6.12   Edit
Hardware: PC Windows 7
: P3 critical with 1 vote (vote)
Target Milestone: ---   Edit
Assignee: aspectj inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2011-12-14 16:55 EST by Andrew Clement CLA
Modified: 2011-12-14 16:56 EST (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Andrew Clement CLA 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 CLA 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.