1  #include "analyzer-decls.h"
       2  
       3  /* Various constants used by the fd state machine.  */
       4  enum {
       5        O_ACCMODE = 42,
       6        O_RDONLY  = 0x1,
       7        O_WRONLY  = 010
       8  };
       9  
      10  void test_sm_fd_constants (void)
      11  {
      12    __analyzer_dump_named_constant ("O_ACCMODE"); /* { dg-warning "named constant 'O_ACCMODE' has value '42'" } */
      13    __analyzer_dump_named_constant ("O_RDONLY"); /* { dg-warning "named constant 'O_RDONLY' has value '1'" } */
      14    __analyzer_dump_named_constant ("O_WRONLY"); /* { dg-warning "named constant 'O_WRONLY' has value '8'" } */
      15  }
      16  
      17  void test_unknown (void)
      18  {
      19    __analyzer_dump_named_constant ("UNKNOWN"); /* { dg-warning "named constant 'UNKNOWN' has unknown value" } */
      20  }