Daily bump.

3 files changed, 254 insertions, 1 deletions

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 7913425..a41ac56 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20230827
+20230828
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 6df8886..b4eb0fc 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,37 @@
+2023-08-27  benjamin priour  <vultkayn@gcc.gnu.org>
+
+	PR analyzer/96395
+	* analyzer.h (class known_function): Add virtual casts
+	to builtin_known_function.
+	(class builtin_known_function): New subclass of known_function
+	for builtins.
+	* kf.cc (class kf_alloca): Now derived from
+	builtin_known_function.
+	(class kf_calloc): Likewise.
+	(class kf_free): Likewise.
+	(class kf_malloc): Likewise.
+	(class kf_memcpy_memmove): Likewise.
+	(class kf_memset): Likewise.
+	(class kf_realloc): Likewise.
+	(class kf_strchr): Likewise.
+	(class kf_sprintf): Likewise.
+	(class kf_strcat): Likewise.
+	(class kf_strcpy): Likewise.
+	(class kf_strdup): Likewise.
+	(class kf_strlen): Likewise.
+	(class kf_strndup): Likewise.
+	(register_known_functions): Builtins are now registered as
+	known_functions by name rather than by their BUILTIN_CODE.
+	* known-function-manager.cc (get_normal_builtin): New overload.
+	* known-function-manager.h: New overload declaration.
+	* region-model.cc (region_model::get_builtin_kf): New function.
+	* region-model.h (class region_model): Add declaration of
+	get_builtin_kf.
+	* sm-fd.cc: For called recognized as builtins, use the
+	attributes of that builtin as defined in gcc/builtins.def
+	rather than the user's.
+	* sm-malloc.cc (malloc_state_machine::on_stmt): Likewise.
+
 2023-08-25  David Malcolm  <dmalcolm@redhat.com>
 
 	* access-diagram.cc (class string_region_spatial_item): Remove
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 6991c6e..14eebe0 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,222 @@
+2023-08-27  Jeff Law  <jlaw@ventanamicro.com>
+
+	* gcc.target/riscv/rvv/base/spill-11.c: Adjust expected output.
+
+2023-08-27  Jeff Law  <jlaw@ventanamicro.com>
+
+	* gcc.target/riscv/rvv/base/spill-12.c: Update expected output.
+
+2023-08-27  Jeff Law  <jlaw@ventanamicro.com>
+
+	* gcc.target/riscv/xtheadcondmov-indirect.c: Turn off pressure
+	sensitive scheduling.
+
+2023-08-27  benjamin priour  <vultkayn@gcc.gnu.org>
+
+	PR analyzer/96395
+	* gcc.dg/analyzer/aliasing-3.c: Moved to...
+	* c-c++-common/analyzer/aliasing-3.c: ...here.
+	* gcc.dg/analyzer/aliasing-pr106473.c: Moved to...
+	* c-c++-common/analyzer/aliasing-pr106473.c: ...here.
+	* gcc.dg/analyzer/asm-x86-dyndbg-2.c: Moved to...
+	* c-c++-common/analyzer/asm-x86-dyndbg-2.c: ...here.
+	* gcc.dg/analyzer/asm-x86-lp64-2.c: Moved to...
+	* c-c++-common/analyzer/asm-x86-lp64-2.c: ...here.
+	* gcc.dg/analyzer/atomic-builtins-haproxy-proxy.c: Moved to...
+	* c-c++-common/analyzer/atomic-builtins-haproxy-proxy.c: ...here.
+	* gcc.dg/analyzer/atomic-builtins-qemu-sockets.c: Moved to...
+	* c-c++-common/analyzer/atomic-builtins-qemu-sockets.c: ...here.
+	* gcc.dg/analyzer/attr-malloc-6.c: Moved to...
+	* c-c++-common/analyzer/attr-malloc-6.c: ...here.
+	* gcc.dg/analyzer/attr-malloc-CVE-2019-19078-usb-leak.c: Moved to...
+	* c-c++-common/analyzer/attr-malloc-CVE-2019-19078-usb-leak.c: ...here.
+	* gcc.dg/analyzer/attr-tainted_args-1.c: Moved to...
+	* c-c++-common/analyzer/attr-tainted_args-1.c: ...here.
+	* gcc.dg/analyzer/call-summaries-pr107158.c: Moved to...
+	* c-c++-common/analyzer/call-summaries-pr107158.c: ...here.
+	* gcc.dg/analyzer/calloc-1.c: Moved to...
+	* c-c++-common/analyzer/calloc-1.c: ...here.
+	* gcc.dg/analyzer/compound-assignment-5.c: Moved to...
+	* c-c++-common/analyzer/compound-assignment-5.c: ...here.
+	* gcc.dg/analyzer/coreutils-cksum-pr108664.c: Moved to...
+	* c-c++-common/analyzer/coreutils-cksum-pr108664.c: ...here.
+	* gcc.dg/analyzer/coreutils-sum-pr108666.c: Moved to...
+	* c-c++-common/analyzer/coreutils-sum-pr108666.c: ...here.
+	* gcc.dg/analyzer/deref-before-check-pr108455-1.c: Moved to...
+	* c-c++-common/analyzer/deref-before-check-pr108455-1.c: ...here.
+	* gcc.dg/analyzer/deref-before-check-pr108455-git-pack-revindex.c: Moved to...
+	* c-c++-common/analyzer/deref-before-check-pr108455-git-pack-revindex.c: ...here.
+	* gcc.dg/analyzer/deref-before-check-pr108475-1.c: Moved to...
+	* c-c++-common/analyzer/deref-before-check-pr108475-1.c: ...here.
+	* gcc.dg/analyzer/deref-before-check-pr108475-haproxy-tcpcheck.c: Moved to...
+	* c-c++-common/analyzer/deref-before-check-pr108475-haproxy-tcpcheck.c: ...here.
+	* gcc.dg/analyzer/deref-before-check-pr109060-haproxy-cfgparse.c: Moved to...
+	* c-c++-common/analyzer/deref-before-check-pr109060-haproxy-cfgparse.c: ...here.
+	* gcc.dg/analyzer/deref-before-check-pr109239-linux-bus.c: Moved to...
+	* c-c++-common/analyzer/deref-before-check-pr109239-linux-bus.c: ...here.
+	* gcc.dg/analyzer/deref-before-check-pr77425.c: Moved to...
+	* c-c++-common/analyzer/deref-before-check-pr77425.c: ...here.
+	* gcc.dg/analyzer/exec-1.c: Moved to...
+	* c-c++-common/analyzer/exec-1.c: ...here.
+	* gcc.dg/analyzer/feasibility-3.c: Moved to...
+	* c-c++-common/analyzer/feasibility-3.c: ...here.
+	* gcc.dg/analyzer/fields.c: Moved to...
+	* c-c++-common/analyzer/fields.c: ...here.
+	* gcc.dg/analyzer/function-ptr-5.c: Moved to...
+	* c-c++-common/analyzer/function-ptr-5.c: ...here.
+	* gcc.dg/analyzer/infinite-recursion-pr108524-1.c: Moved to...
+	* c-c++-common/analyzer/infinite-recursion-pr108524-1.c: ...here.
+	* gcc.dg/analyzer/infinite-recursion-pr108524-2.c: Moved to...
+	* c-c++-common/analyzer/infinite-recursion-pr108524-2.c: ...here.
+	* gcc.dg/analyzer/infinite-recursion-pr108524-qobject-json-parser.c: Moved to...
+	* c-c++-common/analyzer/infinite-recursion-pr108524-qobject-json-parser.c: ...here.
+	* gcc.dg/analyzer/init.c: Moved to...
+	* c-c++-common/analyzer/init.c: ...here.
+	* gcc.dg/analyzer/inlining-3-multiline.c: Moved to...
+	* c-c++-common/analyzer/inlining-3-multiline.c: ...here.
+	* gcc.dg/analyzer/inlining-3.c: Moved to...
+	* c-c++-common/analyzer/inlining-3.c: ...here.
+	* gcc.dg/analyzer/inlining-4-multiline.c: Moved to...
+	* c-c++-common/analyzer/inlining-4-multiline.c: ...here.
+	* gcc.dg/analyzer/inlining-4.c: Moved to...
+	* c-c++-common/analyzer/inlining-4.c: ...here.
+	* gcc.dg/analyzer/leak-pr105906.c: Moved to...
+	* c-c++-common/analyzer/leak-pr105906.c: ...here.
+	* gcc.dg/analyzer/leak-pr108045-with-call-summaries.c: Moved to...
+	* c-c++-common/analyzer/leak-pr108045-with-call-summaries.c: ...here.
+	* gcc.dg/analyzer/leak-pr108045-without-call-summaries.c: Moved to...
+	* c-c++-common/analyzer/leak-pr108045-without-call-summaries.c: ...here.
+	* gcc.dg/analyzer/leak-pr109059-1.c: Moved to...
+	* c-c++-common/analyzer/leak-pr109059-1.c: ...here.
+	* gcc.dg/analyzer/leak-pr109059-2.c: Moved to...
+	* c-c++-common/analyzer/leak-pr109059-2.c: ...here.
+	* gcc.dg/analyzer/malloc-2.c: Moved to...
+	* c-c++-common/analyzer/malloc-2.c: ...here.
+	* gcc.dg/analyzer/memcpy-2.c: Moved to...
+	* c-c++-common/analyzer/memcpy-2.c: ...here.
+	* gcc.dg/analyzer/null-deref-pr108251-smp_fetch_ssl_fc_has_early-O2.c: Moved to...
+	* c-c++-common/analyzer/null-deref-pr108251-smp_fetch_ssl_fc_has_early-O2.c: ...here.
+	* gcc.dg/analyzer/null-deref-pr108251-smp_fetch_ssl_fc_has_early.c: Moved to...
+	* c-c++-common/analyzer/null-deref-pr108251-smp_fetch_ssl_fc_has_early.c: ...here.
+	* gcc.dg/analyzer/null-deref-pr108806-qemu.c: Moved to...
+	* c-c++-common/analyzer/null-deref-pr108806-qemu.c: ...here.
+	* gcc.dg/analyzer/null-deref-pr108830.c: Moved to...
+	* c-c++-common/analyzer/null-deref-pr108830.c: ...here.
+	* gcc.dg/analyzer/pr101962.c: Moved to...
+	* c-c++-common/analyzer/pr101962.c: ...here.
+	* gcc.dg/analyzer/pr103217-2.c: Moved to...
+	* c-c++-common/analyzer/pr103217-2.c: ...here.
+	* gcc.dg/analyzer/pr103217.c: Moved to...
+	* c-c++-common/analyzer/pr103217.c: ...here.
+	* gcc.dg/analyzer/pr104029.c: Moved to...
+	* c-c++-common/analyzer/pr104029.c: ...here.
+	* gcc.dg/analyzer/pr104062.c: Moved to...
+	* c-c++-common/analyzer/pr104062.c: ...here.
+	* gcc.dg/analyzer/pr105783.c: Moved to...
+	* c-c++-common/analyzer/pr105783.c: ...here.
+	* gcc.dg/analyzer/pr107345.c: Moved to...
+	* c-c++-common/analyzer/pr107345.c: ...here.
+	* gcc.dg/analyzer/pr93695-1.c: Moved to...
+	* c-c++-common/analyzer/pr93695-1.c: ...here.
+	* gcc.dg/analyzer/pr94596.c: Moved to...
+	* c-c++-common/analyzer/pr94596.c: ...here.
+	* gcc.dg/analyzer/pr94839.c: Moved to...
+	* c-c++-common/analyzer/pr94839.c: ...here.
+	* gcc.dg/analyzer/pr95152-4.c: C only.
+	* gcc.dg/analyzer/pr95152-5.c: C only.
+	* gcc.dg/analyzer/pr95240.c: Moved to...
+	* c-c++-common/analyzer/pr95240.c: ...here.
+	* gcc.dg/analyzer/pr96639.c: Moved to...
+	* c-c++-common/analyzer/pr96639.c: ...here.
+	* gcc.dg/analyzer/pr96653.c: Moved to...
+	* c-c++-common/analyzer/pr96653.c: ...here.
+	* gcc.dg/analyzer/pr96792.c: Moved to...
+	* c-c++-common/analyzer/pr96792.c: ...here.
+	* gcc.dg/analyzer/pr96841.c: Moved to...
+	* c-c++-common/analyzer/pr96841.c: ...here.
+	* gcc.dg/analyzer/pr98564.c: Moved to...
+	* c-c++-common/analyzer/pr98564.c: ...here.
+	* gcc.dg/analyzer/pr98628.c: Moved to...
+	* c-c++-common/analyzer/pr98628.c: ...here.
+	* gcc.dg/analyzer/pr98969.c: Moved to...
+	* c-c++-common/analyzer/pr98969.c: ...here.
+	* gcc.dg/analyzer/pr99193-2.c: Moved to...
+	* c-c++-common/analyzer/pr99193-2.c: ...here.
+	* gcc.dg/analyzer/pr99193-3.c: Moved to...
+	* c-c++-common/analyzer/pr99193-3.c: ...here.
+	* gcc.dg/analyzer/pr99716-1.c: Moved to...
+	* c-c++-common/analyzer/pr99716-1.c: ...here.
+	* gcc.dg/analyzer/pr99774-1.c: Moved to...
+	* c-c++-common/analyzer/pr99774-1.c: ...here.
+	* gcc.dg/analyzer/realloc-1.c: Moved to...
+	* c-c++-common/analyzer/realloc-1.c: ...here.
+	* gcc.dg/analyzer/realloc-2.c: Moved to...
+	* c-c++-common/analyzer/realloc-2.c: ...here.
+	* gcc.dg/analyzer/realloc-3.c: Moved to...
+	* c-c++-common/analyzer/realloc-3.c: ...here.
+	* gcc.dg/analyzer/realloc-4.c: Moved to...
+	* c-c++-common/analyzer/realloc-4.c: ...here.
+	* gcc.dg/analyzer/realloc-5.c: Moved to...
+	* c-c++-common/analyzer/realloc-5.c: ...here.
+	* gcc.dg/analyzer/realloc-pr110014.c: Moved to...
+	* c-c++-common/analyzer/realloc-pr110014.c: ...here.
+	* gcc.dg/analyzer/snprintf-concat.c: Moved to...
+	* c-c++-common/analyzer/snprintf-concat.c: ...here.
+	* gcc.dg/analyzer/sock-1.c: Moved to...
+	* c-c++-common/analyzer/sock-1.c: ...here.
+	* gcc.dg/analyzer/sprintf-concat.c: Moved to...
+	* c-c++-common/analyzer/sprintf-concat.c: ...here.
+	* gcc.dg/analyzer/string-ops-concat-pair.c: Moved to...
+	* c-c++-common/analyzer/string-ops-concat-pair.c: ...here.
+	* gcc.dg/analyzer/string-ops-dup.c: Moved to...
+	* c-c++-common/analyzer/string-ops-dup.c: ...here.
+	* gcc.dg/analyzer/switch-enum-pr105273-git-vreportf-2.c: Moved to...
+	* c-c++-common/analyzer/switch-enum-pr105273-git-vreportf-2.c: ...here.
+	* gcc.dg/analyzer/symbolic-12.c: Moved to...
+	* c-c++-common/analyzer/symbolic-12.c: ...here.
+	* gcc.dg/analyzer/uninit-alloca.c: Moved to...
+	* c-c++-common/analyzer/uninit-alloca.c: ...here.
+	* gcc.dg/analyzer/untracked-2.c: Moved to...
+	* c-c++-common/analyzer/untracked-2.c: ...here.
+	* gcc.dg/analyzer/vasprintf-1.c: Moved to...
+	* c-c++-common/analyzer/vasprintf-1.c: ...here.
+	* gcc.dg/analyzer/write-to-const-1.c: Moved to...
+	* c-c++-common/analyzer/write-to-const-1.c: ...here.
+	* gcc.dg/analyzer/write-to-function-1.c: C only.
+	* gcc.dg/analyzer/write-to-string-literal-1.c: Moved to...
+	* c-c++-common/analyzer/write-to-string-literal-1.c: ...here.
+	* gcc.dg/analyzer/write-to-string-literal-4-disabled.c: Moved to...
+	* c-c++-common/analyzer/write-to-string-literal-4-disabled.c: ...here.
+	* gcc.dg/analyzer/write-to-string-literal-5.c: Moved to...
+	* c-c++-common/analyzer/write-to-string-literal-5.c: ...here.
+	* g++.dg/analyzer/analyzer.exp: Now also run tests under
+	c-c++-common/analyzer.
+	* gcc.dg/analyzer/analyzer-decls.h: Add NULL definition.
+	* gcc.dg/analyzer/analyzer.exp: Now also run tests under
+	c-c++-common/analyzer.
+	* gcc.dg/analyzer/pr104369-1.c: C only.
+	* gcc.dg/analyzer/pr104369-2.c: Likewise.
+	* gcc.dg/analyzer/pr93355-localealias-feasibility-2.c: Likewise.
+	* gcc.dg/analyzer/sprintf-1.c: Split into C-only and
+	C++-friendly bits.
+	* gcc.dg/analyzer/allocation-size-multiline-1.c: Removed.
+	* gcc.dg/analyzer/allocation-size-multiline-2.c: Removed.
+	* gcc.dg/analyzer/allocation-size-multiline-3.c: Removed.
+	* gcc.dg/analyzer/data-model-11.c: Removed.
+	* gcc.dg/analyzer/pr61861.c: C only.
+	* gcc.dg/analyzer/pr93457.c: Removed.
+	* gcc.dg/analyzer/pr97568.c: Removed.
+	* gcc.dg/analyzer/write-to-string-literal-4.c: Removed.
+	* c-c++-common/analyzer/allocation-size-multiline-1.c: New test.
+	* c-c++-common/analyzer/allocation-size-multiline-2.c: New test.
+	* c-c++-common/analyzer/allocation-size-multiline-3.c: New test.
+	* c-c++-common/analyzer/data-model-11.c: New test.
+	* c-c++-common/analyzer/pr93457.c: New test.
+	* c-c++-common/analyzer/pr97568.c: New test.
+	* c-c++-common/analyzer/sprintf-2.c: C++-friendly bit of
+	previous gcc.dg/analyzer/sprintf-1.c.
+	* c-c++-common/analyzer/write-to-string-literal-4.c: New test.
+
 2023-08-26  Paul Thomas  <pault@gcc.gnu.org>
 
 	PR fortran/92586