1 #include "check_debug.h"
2 
perf_calculate_period(unsigned long nsec,unsigned long count)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