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