1 #include "check_debug.h"
   2 
   3 int strlen(const char *str);
   4 int strnlen(const char *str, int limit);
   5 
   6 int func(void)
   7 {
   8         __smatch_implied(strlen("foo"));
   9         __smatch_implied(strnlen("foo", 2));
  10 }
  11 
  12 /*
  13  * check-name: Smatch strlen test #3
  14  * check-command: smatch -I.. sm_strlen3.c
  15  *
  16  * check-output-start
  17 sm_strlen3.c:8 func() implied: strlen("foo") = '3'
  18 sm_strlen3.c:9 func() implied: strnlen("foo", 2) = '2'
  19  * check-output-end
  20  */