projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e953f95) | patch
analyzer: handle vector types (PR 93350)
authorDavid Malcolm <dmalcolm@redhat.com>
Fri, 7 Feb 2020 10:49:24 +0000 (05:49 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Mon, 10 Feb 2020 23:00:31 +0000 (18:00 -0500)
commite87deb37649cfe480217fc83c8d56fe925600f93
tree6fbadd10dd4c0ec7d9109673bb2597ce8747e3f8tree
parente953f9588d4a7ea4183d14914f915329cc37941fcommit | diff
analyzer: handle vector types (PR 93350)

gcc/analyzer/ChangeLog:
PR analyzer/93350
* region-model.cc (region_model::get_lvalue_1):
Handle BIT_FIELD_REF.
(make_region_for_type): Handle VECTOR_TYPE.

gcc/testsuite/ChangeLog:
PR analyzer/93350
* gcc.dg/analyzer/torture/pr93350.c: New test.
gcc/analyzer/ChangeLog diff | blob | history
gcc/analyzer/region-model.cc diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/analyzer/torture/pr93350.c [new file with mode: 0644] blob