text: #include "check_debug.h"
  
  int copy_from_user(void *dest, void *src, int size){}
  
  struct my_struct {
  	int x, y;
  };
  
  struct my_struct *returns_filter(struct my_struct *p)
  {
  	return p;
  }
  
  struct my_struct *src, *a, *b;
  void test(void)
  {
  	copy_from_user(a, src, sizeof(*a));
  	b = returns_filter(a);
  	__smatch_user_rl(b->y);
  	b = returns_filter(src);
  	__smatch_user_rl(b->y);
  	b = returns_filter(a);
  	__smatch_user_rl(b->y);
  }
  
  /*
   * check-name: smatch user data #3
   * check-command: smatch -p=kernel -I.. sm_user_data3.c
   *
   * check-output-start
  sm_user_data3.c:19 test() user rl: 'b->y' = 's32min-s32max'
  sm_user_data3.c:21 test() user rl: 'b->y' = ''
  sm_user_data3.c:23 test() user rl: 'b->y' = 's32min-s32max'
   * check-output-end
   */
  