1 #include "check_debug.h"
   2 
   3 float frob(float x)
   4 {
   5         return x;
   6 }
   7 
   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  */