C Instrumentation Framework

Like #349 this issue also isn't a critical now. Even though it's very simple to be implemented.

ldv_mutex_lock_6(&(media_devnode_lock) /* ldv_func_arg1 */)
{
  ldv_mutex_lock_graph_mutex(ldv_func_arg1 /* lock */)
  {
    assume(ldv_mutex_graph_mutex == 1);
    ldv_mutex_graph_mutex = 2;
    return ;
  }
  mutex_lock(ldv_func_arg1) { /* Function call is skipped due to function is undefined */}
  return ;
}

• media-device.c
  

  void ldv_mutex_lock_6 (struct mutex *ldv_func_arg1)
  {
    typedef void ldv_func_ret_type;
    typedef struct mutex *ldv_func_arg_type1;
  
    ldv_mutex_lock_graph_mutex(ldv_func_arg1);
  
    mutex_lock(ldv_func_arg1);
  }
  

• media-devnode.c
  

  void ldv_mutex_lock_6 (struct mutex *ldv_func_arg1)
  {
    typedef void ldv_func_ret_type;
    typedef struct mutex *ldv_func_arg_type1;
  
    ldv_mutex_lock_media_devnode_lock(ldv_func_arg1);
  
    mutex_lock(ldv_func_arg1);
  }
  

• media-entity.c
  

  void ldv_mutex_lock_6 (struct mutex *ldv_func_arg1)
  {
    typedef void ldv_func_ret_type;
    typedef struct mutex *ldv_func_arg_type1;
  
    ldv_mutex_lock_graph_mutex(ldv_func_arg1);
  
    mutex_lock(ldv_func_arg1);
  }
  

  
  These files are "linked" together by means of CIL that "merges" function definitions having the same signatures and warns users:
  

  Duplicate function skipped due to -ignoredupfn (ldv_mutex_lock_6) 
  Duplicate function skipped due to -ignoredupfn (ldv_mutex_lock_6)
  

  
  I'm going to try solution suggested in the issue description: add static storage class specifier for all auxiliary functions generated.

I implemented the idea of holding current unique number in a special file in commit 331ae8e of feature-2462 branch. It will be merged to master together with rerouter.

It was merged to master in commit 0491d9a together with feature-2462 branch.

It works stably. So close it.