diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2022-10-27 00:18:35 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2022-10-27 00:18:35 +0000 |
| commit | 486a50374e7c6200c476e67ffbe13ad71ac3262a (patch) | |
| tree | 56da37099487e3fb956b18e689a09e7a4b3eccbd /gcc/analyzer | |
| parent | 57bbf3a403bb1e77c5081dc25d2d54e5c3d5aae4 (diff) | |
| download | gcc-486a50374e7c6200c476e67ffbe13ad71ac3262a.zip gcc-486a50374e7c6200c476e67ffbe13ad71ac3262a.tar.gz gcc-486a50374e7c6200c476e67ffbe13ad71ac3262a.tar.bz2 | |
Daily bump.
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 733580a..6e6b056 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,14 @@ +2022-10-26 David Malcolm <dmalcolm@redhat.com> + + * 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. + +2022-10-26 David Malcolm <dmalcolm@redhat.com> + + * sm-fd.dot: New file. + 2022-10-24 David Malcolm <dmalcolm@redhat.com> PR analyzer/107349 |