]> git.ipfire.org Git - thirdparty/gcc.git/commit - gcc/analyzer/region-model.cc
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 603bdf9) | patch
analyzer: reimplement kf_memcpy_memmove
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 24 Aug 2023 14:24:39 +0000 (10:24 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Thu, 24 Aug 2023 14:24:39 +0000 (10:24 -0400)
commit8556d0014acfa3ed8435f405984a3b8f38996819
treef61a36e2e33b9ad93a24b32f100d1feb7d30e4b4tree | snapshot
parent603bdf906af6d42ce0dabee86efc1e0aec0f1900commit | diff
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>
gcc/analyzer/kf.cc diff | blob | blame | history
gcc/analyzer/region-model.cc diff | blob | blame | history
gcc/analyzer/region-model.h diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git