1#include "check_debug.h"
2
3float frob(float x)
4{
5	return x;
6}
7
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
18sm_float1.c:10 main() implied: frob(3.140000e+00) = '3'
19 * check-output-end
20 */
21