Bug #1360
closed
Aspectator does not process arguments of defines
Added by Pavel Shved about 13 years ago.
Updated over 11 years ago.
Description
For instance, this aspect generates a call without any arguments (which leads to a compile error):
around: define(alloc_page_vma(gfp_mask, vma, addr))
{
ldv_check_alloc_flags($arg1);
}
Related issues
1 (1 open — 0 closed)
- Status changed from New to Open
First of all this issue should be reported in the correct way (e.g. aspectator should say that it doesn't change $arg1 with gfp_mask). Also the problem should be fixed.
Temporary workaround: use gfp_mask directly instead of $arg1.
- Status changed from Open to Rejected
It suggests a feature described previously in #363.
- Project changed from Linux Driver Verification to C Instrumentation Framework
- Category deleted (
15)
Also available in: Atom
PDF