1  /* { dg-additional-options "-Wno-analyzer-too-complex" } */
       2  
       3  extern char *strdup (const char *__s)
       4    __attribute__ ((__nothrow__ , __leaf__, __malloc__, __nonnull__ (1)));
       5  
       6  extern void abort (void)
       7    __attribute__ ((__nothrow__ , __leaf__, __noreturn__));
       8  
       9  extern int getopt (int ___argc, char *const *___argv, const char *__shortopts)
      10    __attribute__ ((__nothrow__ , __leaf__, __nonnull__ (2, 3)));
      11  extern char *optarg;
      12  
      13  extern void free (void *__ptr)
      14    __attribute__ ((__nothrow__ , __leaf__));
      15  
      16  struct state {
      17    const char *confpath;
      18    const char *host;
      19    const char *port;
      20    const char *state_dir_prefix;
      21  };
      22  
      23  static inline char *xstrdup(const char *s) { 
      24          char *val = strdup(s);
      25          if (!val)
      26                  abort();
      27          return val;
      28  }
      29  
      30  int config_init(struct state *config);
      31  
      32  int main(int argc, char *argv[]) { 
      33          int rc;
      34          struct state state = { 0 };
      35  
      36          config_init(&state);
      37  
      38          while ((rc = getopt(argc, argv, "H:p:")) != -1) { 
      39                  switch (rc) { 
      40                  case 'H':
      41                          free((void*)state.host);
      42                          state.host = xstrdup(optarg);
      43                          break;
      44                  case 'p':
      45                          free((void*)state.port);
      46                          state.port = xstrdup(optarg);
      47                          break;
      48                  } 
      49          } 
      50  
      51          free((void*)state.host);
      52          free((void*)state.port);
      53          return rc;
      54  }