Project

General

Profile

Actions

Bug #1230

open

Aspectator doesn't work correctly with disjunction of define pointcuts

Added by Evgeny Novikov over 13 years ago. Updated over 8 years ago.

Status:
Open
Priority:
High
Category:
Pointcuts matching
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.


Related issues 2 (1 open1 closed)

Has duplicate C Instrumentation Framework - Feature #3379: Support composite pointcuts for macrosRejectedEvgeny Novikov08/30/2012

Actions
Blocks C Instrumentation Framework - Feature #373: Merge matching for different entitiesOpenEvgeny Novikov08/05/2010

Actions
Actions #1

Updated by Evgeny Novikov about 12 years ago

  • Project changed from Linux Driver Verification to C Instrumentation Framework
  • Category deleted (15)
Actions #2

Updated by Evgeny Novikov over 8 years ago

  • Priority changed from Normal to High
Actions #3

Updated by Evgeny Novikov over 8 years ago

  • Category set to Pointcuts matching
Actions

Also available in: Atom PDF