diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2022-10-26 16:45:17 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2022-10-26 16:45:17 -0400 |
| commit | 57bbf3a403bb1e77c5081dc25d2d54e5c3d5aae4 (patch) | |
| tree | 47b211413c221db4ed8e57b11323980f98de9165 /gcc/DATESTAMP | |
| parent | 593254ae03a6c0db5946e44b2cfd90dbfc707a17 (diff) | |
| download | gcc-57bbf3a403bb1e77c5081dc25d2d54e5c3d5aae4.zip gcc-57bbf3a403bb1e77c5081dc25d2d54e5c3d5aae4.tar.gz gcc-57bbf3a403bb1e77c5081dc25d2d54e5c3d5aae4.tar.bz2 | |
analyzer: fixes to file-descriptor handling
gcc/analyzer/ChangeLog:
* sm-fd.cc (fd_state_machine::on_open): Transition to "unchecked"
when the mode is symbolic, rather than just on integer constants.
(fd_state_machine::check_for_open_fd): Don't complain about
unchecked values in the start state.
gcc/testsuite/ChangeLog:
* gcc.dg/analyzer/fd-3.c (test_5): Expect "opened here" message
even when flags are symbolic.
(test_read_from_symbolic_fd): New.
(test_write_to_symbolic_fd): New.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/DATESTAMP')
0 files changed, 0 insertions, 0 deletions