aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite
diff options
context:
space:
mode:
authorDavid Malcolm <dmalcolm@redhat.com>2022-02-14 13:27:45 -0500
committerDavid Malcolm <dmalcolm@redhat.com>2022-02-15 16:34:33 -0500
commit84832cab6e43db7fa10ec53d15f8f8457aa31080 (patch)
tree363d79134859899c598e9c254528b1a16e80be7e /gcc/testsuite
parent1e2fe6715a949f80c1204ae244baad3cd80ffaf0 (diff)
downloadgcc-84832cab6e43db7fa10ec53d15f8f8457aa31080.zip
gcc-84832cab6e43db7fa10ec53d15f8f8457aa31080.tar.gz
gcc-84832cab6e43db7fa10ec53d15f8f8457aa31080.tar.bz2
analyzer: fix ICE on cast to NULL type [PR104524]
gcc/analyzer/ChangeLog: PR analyzer/104524 * region-model-manager.cc (region_model_manager::maybe_fold_sub_svalue): Only call get_or_create_cast if type is non-NULL. gcc/testsuite/ChangeLog: PR analyzer/104524 * gcc.dg/analyzer/pr104524.c: New test. Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/testsuite')
-rw-r--r--gcc/testsuite/gcc.dg/analyzer/pr104524.c9
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/analyzer/pr104524.c b/gcc/testsuite/gcc.dg/analyzer/pr104524.c
new file mode 100644
index 0000000..875098c
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/analyzer/pr104524.c
@@ -0,0 +1,9 @@
+int src[1];
+
+int
+main (int c, char **a)
+{
+ __builtin_memcpy (*a, src, c);
+
+ return 0;
+}