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 */ 23