gcc/testsuite/c-c++-common/analyzer/strtok-2.c

   1 /* { dg-additional-options "-Wno-analyzer-symbol-too-complex" } */
   2
   3 #include "../../gcc.dg/analyzer/analyzer-decls.h"
   4
   5 extern char *strtok (char *str, const char *delim)
   6   __attribute__((nonnull (2)));
   7
   8 int
   9 main(int argc, char *argv[])
  10 {
  11   char *cmd;
  12   char *arg;
  13
  14   if (argc < 2)
  15     return -1;
  16
  17   cmd = strtok (argv[1], " "); /* { dg-bogus "undefined behavior" } */
  18   arg = strtok (NULL, " ");
  19   return 0;
  20 }