diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-08-31 11:55:34 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-08-31 18:31:49 -0400 |
| commit | bc62bfb0f43eeada02cb924e3cb5457a399b01c0 (patch) | |
| tree | ae4f3ba2f194a189861a7e24bf62d2ecdaa4514f /gcc/analyzer | |
| parent | ee7bfbe5eb70a23bbf3a2cedfdcbd2ea1a20c3f2 (diff) | |
| download | gcc-bc62bfb0f43eeada02cb924e3cb5457a399b01c0.zip gcc-bc62bfb0f43eeada02cb924e3cb5457a399b01c0.tar.gz gcc-bc62bfb0f43eeada02cb924e3cb5457a399b01c0.tar.bz2 | |
analyzer: handle __builtin___memset_chk [PR96798]
gcc/analyzer/ChangeLog:
PR analyzer/96798
* region-model.cc (region_model::on_call_pre): Handle
BUILT_IN_MEMSET_CHK.
gcc/testsuite/ChangeLog:
PR analyzer/96798
* gcc.dg/analyzer/memset-1.c (test_5a): New.
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/region-model.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/analyzer/region-model.cc b/gcc/analyzer/region-model.cc index ec5094c..d47e896 100644 --- a/gcc/analyzer/region-model.cc +++ b/gcc/analyzer/region-model.cc @@ -673,6 +673,7 @@ region_model::on_call_pre (const gcall *call, region_model_context *ctxt) case BUILT_IN_MALLOC: return impl_call_malloc (cd); case BUILT_IN_MEMSET: + case BUILT_IN_MEMSET_CHK: impl_call_memset (cd); return false; break; |