diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2023-08-24 10:24:39 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2023-08-24 10:24:39 -0400 |
| commit | 8556d0014acfa3ed8435f405984a3b8f38996819 (patch) | |
| tree | f61a36e2e33b9ad93a24b32f100d1feb7d30e4b4 /gcc/gcc.cc | |
| parent | 603bdf906af6d42ce0dabee86efc1e0aec0f1900 (diff) | |
| download | gcc-8556d0014acfa3ed8435f405984a3b8f38996819.zip gcc-8556d0014acfa3ed8435f405984a3b8f38996819.tar.gz gcc-8556d0014acfa3ed8435f405984a3b8f38996819.tar.bz2 | |
analyzer: reimplement kf_memcpy_memmove
gcc/analyzer/ChangeLog:
* kf.cc (kf_memcpy_memmove::impl_call_pre): Reimplement using
region_model::copy_bytes.
* region-model.cc (region_model::read_bytes): New.
(region_model::copy_bytes): New.
* region-model.h (region_model::read_bytes): New decl.
(region_model::copy_bytes): New decl.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/gcc.cc')
0 files changed, 0 insertions, 0 deletions