1 #include "check_debug.h"
   2 
   3 static void perf_calculate_period(unsigned long nsec, unsigned long count)
   4 {
   5         if (nsec + count > 64)
   6                 return;
   7 
   8         __smatch_implied(nsec + count);
   9         nsec = 100;
  10         __smatch_implied(nsec + count);
  11 }
  12 
  13 
  14 /*
  15  * check-name: smatch chunk #1
  16  * check-command: smatch -I.. sm_chunk1.c
  17  *
  18  * check-output-start
  19 sm_chunk1.c:8 perf_calculate_period() implied: nsec + count = '0-64'
  20 sm_chunk1.c:10 perf_calculate_period() implied: nsec + count = ''
  21  * check-output-end
  22  */