C Instrumentation Framework

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.