1*5a0e240fSJohn Levon #include "check_debug.h" 2*5a0e240fSJohn Levon frob(float x)3*5a0e240fSJohn Levonfloat frob(float x) 4*5a0e240fSJohn Levon { 5*5a0e240fSJohn Levon return x; 6*5a0e240fSJohn Levon } 7*5a0e240fSJohn Levon main(int argc,char * argv[])8*5a0e240fSJohn Levonint 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