Actions
Bug #1230
openAspectator doesn't work correctly with disjunction of define pointcuts
Start date:
05/18/2011
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
Instead it processes just several of operands correctly and fails with other.
Workaround is to write advices in the separate way. So, for instance, instead of disjunction of define pointcuts for 43_1a model:
/* Unfortunately aspectator doesn't process this correctly. around: define(spin_lock_irqsave(lock, flags)) || define(spin_lock_nested(lock, subclass)) ... { ldv_spin_lock() } */
I had to write:
around: define(spin_lock_irqsave(lock, flags)) { ldv_spin_lock() } around: define(spin_lock_nested(lock, subclass)) { ldv_spin_lock() } ...
This isn't very important since there is such the workaround. But it is inconvenient nevertheless.
Updated by Evgeny Novikov about 12 years ago
- Project changed from Linux Driver Verification to C Instrumentation Framework
- Category deleted (
15)
Actions