diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2022-01-21 09:56:56 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2022-01-22 10:26:22 -0500 |
| commit | 45b999f642a531c083c982dda79fa6ad65730a7c (patch) | |
| tree | 0551998d00aac3e773507d8b10959922686f51fb /gcc/config.gcc | |
| parent | 6c1a93102b41a558f3ad49a7c66015257535c747 (diff) | |
| download | gcc-45b999f642a531c083c982dda79fa6ad65730a7c.zip gcc-45b999f642a531c083c982dda79fa6ad65730a7c.tar.gz gcc-45b999f642a531c083c982dda79fa6ad65730a7c.tar.bz2 | |
analyzer: fix ICE on vector casts [PR104159]
PR analyzer/104159 describes an ICE attempting to convert a vector_cst,
which occurs when symbolically executing within a recursive call on:
_4 = BIT_FIELD_REF <w_3(D), 32, 0>;
_1 = VIEW_CONVERT_EXPR<T>(_4);
where the BIT_FIELD_REF leads to a get_or_create_cast from
VEC<long, 8> to VEC<unsigned 4>
which get_code_for_cast erroneously picks NOP_EXPR for the cast, leading
to a bogus input to the VIEW_CONVERT_EXPR.
This patch fixes the issue by giving up on attempts to cast symbolic
values of vector types, treating the result of such casts as unknowable.
gcc/analyzer/ChangeLog:
PR analyzer/104159
* region-model-manager.cc
(region_model_manager::get_or_create_cast): Bail out if the types
are the same. Don't attempt to handle casts involving vector
types.
gcc/testsuite/ChangeLog:
PR analyzer/104159
* gcc.dg/analyzer/torture/pr104159.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/config.gcc')
0 files changed, 0 insertions, 0 deletions