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