projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ee7bfbe) | patch
analyzer: handle __builtin___memset_chk [PR96798]
authorDavid Malcolm <dmalcolm@redhat.com>
Mon, 31 Aug 2020 15:55:34 +0000 (11:55 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Mon, 31 Aug 2020 22:31:49 +0000 (18:31 -0400)
commitbc62bfb0f43eeada02cb924e3cb5457a399b01c0
treeae4f3ba2f194a189861a7e24bf62d2ecdaa4514ftree
parentee7bfbe5eb70a23bbf3a2cedfdcbd2ea1a20c3f2commit | diff
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.
gcc/analyzer/region-model.cc diff | blob | history
gcc/testsuite/gcc.dg/analyzer/memset-1.c diff | blob | history