| #include "analyzer-decls.h" |
| |
| /* Various constants used by the fd state machine, as macros |
| that can't be handled. */ |
| |
| #define O_RDONLY (1 << 0) |
| #define O_WRONLY (1 << 1) |
| #define O_ACCMODE (O_RDONLY | O_WRONLY) |
| |
| void test_sm_fd_constants (void) |
| { |
| __analyzer_dump_named_constant ("O_ACCMODE"); /* { dg-warning "named constant 'O_ACCMODE' has unknown value" } */ |
| __analyzer_dump_named_constant ("O_RDONLY"); /* { dg-warning "named constant 'O_RDONLY' has unknown value" } */ |
| __analyzer_dump_named_constant ("O_WRONLY"); /* { dg-warning "named constant 'O_WRONLY' has unknown value" } */ |
| } |