]> git.ipfire.org Git - thirdparty/gcc.git/commit
analyzer: fix ICE due to corrupt MEM_REFs [PR113505]
authorJakub Jelinek <jakub@redhat.com>
Tue, 19 Mar 2024 20:06:13 +0000 (16:06 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Tue, 19 Mar 2024 20:06:13 +0000 (16:06 -0400)
commitc87f1f3d660f4103c91c72a4d3e1d19ff2858671
tree9a655a84cacad1b60b7985691ca2baa2ff074db3
parent0bf99b1b7eda2f4c34b9f56b895980ea1c261765
analyzer: fix ICE due to corrupt MEM_REFs [PR113505]

gcc/analyzer/ChangeLog
PR analyzer/113505
* region-model.cc (get_tree_for_byte_offset,
region_model::get_representative_path_var_1,
test_mem_ref, test_POINTER_PLUS_EXPR_then_MEM_REF): Use
char __attribute__((may_alias)) * as type of MEM_REF second argument.

gcc/testsuite/ChangeLog
PR analyzer/113505
* gcc.dg/analyzer/pr113505.c: New test.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/region-model.cc
gcc/testsuite/gcc.dg/analyzer/pr113505.c [new file with mode: 0644]