Actions
Bug #367
closedIncorrect implemenation with void type matching
Start date:
08/05/2010
Due date:
% Done:
0%
Estimated time:
Detected in build:
old bug
Platform:
Published in build:
Description
At the moment aspectator weaver declare variables inside auxiliary functions bodies having the same type as functions return type. This fails with void type, since void var = ...
is incorrect construction in C.
Possible workaround for this case is to use around advices instead of before/after like this (from new 0008 model aspect):
around: execution(static inline void module_put(..)) || call(extern void module_put(..)) { ldv_module_put(); }
For the full simulation use
around + $proceed
. Like this:around: execution(static inline void __module_get(..)) { ldv_module_get(); $proceed; }
But of course it must be fixed in future!
Updated by Evgeny Novikov over 13 years ago
- Status changed from Open to Closed
The problem was fixed during fix of #347 bug.
Updated by Evgeny Novikov about 12 years ago
- Project changed from Linux Driver Verification to C Instrumentation Framework
- Category deleted (
15)
Actions