Actions
Bug #754
openRerouting does not work for static functions
Start date:
01/31/2011
Due date:
% Done:
0%
Estimated time:
Detected in build:
d1a476a
Platform:
Published in build:
Description
When template function is defined with static modifier
like:
static int mutex_is_locked_TEMPLATE(struct mutex *lock)
{
then rerouting to it does not work, function body is undefined (the definition and the use in the same file).
res_misc_open_0 = misc_open(var_misc_open_0_p0 /* inode */, var_misc_open_0_p1 /* file */);
{
tmp = mutex_is_locked_i_mutex(&(i_mutex)) { /* The function body is undefined. */ };
is_locked = tmp;
assert(is_locked != 0);
mutex_unlock_i_mutex(&(i_mutex) /* lock */);
{
assert(ldv_mutex_i_mutex != 2);
__blast_assert();
}
}
See tests-model-32_7--test-mutexislocked.tar.bz2 from small tests and kernel-rules/files/model0032-double.c.
For the bug #635 I removed static modifier.
Actions