diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2022-08-15 14:47:03 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2022-08-15 14:47:03 -0400 |
| commit | 23e8c0b0d99f585499baddda70af6a8b26f49bea (patch) | |
| tree | 224cabaf171dc2940bf3e8f14fe8a6a7b9a3398c /gcc/analyzer | |
| parent | ca123e019bb92fd1d6909e8da7f53a4f45922526 (diff) | |
| download | gcc-23e8c0b0d99f585499baddda70af6a8b26f49bea.zip gcc-23e8c0b0d99f585499baddda70af6a8b26f49bea.tar.gz gcc-23e8c0b0d99f585499baddda70af6a8b26f49bea.tar.bz2 | |
analyzer: fix direction of -Wanalyzer-out-of-bounds note [PR106626]
Fix a read/write typo.
Also, add more test coverage of -Wanalyzer-out-of-bounds to help
establish a baseline for experiments on tweaking the wording of
the warning (PR analyzer/106626).
gcc/analyzer/ChangeLog:
PR analyzer/106626
* region-model.cc (buffer_overread::emit): Fix copy&paste error in
direction of the access in the note.
gcc/testsuite/ChangeLog:
PR analyzer/106626
* gcc.dg/analyzer/out-of-bounds-read-char-arr.c: New test.
* gcc.dg/analyzer/out-of-bounds-read-int-arr.c: New test.
* gcc.dg/analyzer/out-of-bounds-write-char-arr.c: New test.
* gcc.dg/analyzer/out-of-bounds-write-int-arr.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/region-model.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/analyzer/region-model.cc b/gcc/analyzer/region-model.cc index a58904c..b05b709 100644 --- a/gcc/analyzer/region-model.cc +++ b/gcc/analyzer/region-model.cc @@ -1447,11 +1447,11 @@ public: print_dec (m_out_of_bounds_range.m_size_in_bytes, num_bytes_past_buf, UNSIGNED); if (m_diag_arg) - inform (rich_loc->get_loc (), "write is %s bytes past the end" + inform (rich_loc->get_loc (), "read is %s bytes past the end" " of %qE", num_bytes_past_buf, m_diag_arg); else - inform (rich_loc->get_loc (), "write is %s bytes past the end" + inform (rich_loc->get_loc (), "read is %s bytes past the end" "of the region", num_bytes_past_buf); } |