1 #include "check_debug.h"
2 
frob(float x)3 float frob(float x)
4 {
5 	return x;
6 }
7 
main(int argc,char * argv[])8 int main(int argc, char *argv[])
9 {
10 	__smatch_implied((long long)frob(3.14));
11 }
12 
13 /*
14  * check-name: smatch floating point #1
15  * check-command: smatch -I.. sm_float1.c
16  *
17  * check-output-start
18 sm_float1.c:10 main() implied: frob(3.140000e+00) = '3'
19  * check-output-end
20  */
21