diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-02-07 05:49:24 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-02-10 18:00:31 -0500 |
| commit | e87deb37649cfe480217fc83c8d56fe925600f93 (patch) | |
| tree | 6fbadd10dd4c0ec7d9109673bb2597ce8747e3f8 | |
| parent | e953f9588d4a7ea4183d14914f915329cc37941f (diff) | |
| download | gcc-e87deb37649cfe480217fc83c8d56fe925600f93.zip gcc-e87deb37649cfe480217fc83c8d56fe925600f93.tar.gz gcc-e87deb37649cfe480217fc83c8d56fe925600f93.tar.bz2 | |
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.
| -rw-r--r-- | gcc/analyzer/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/analyzer/region-model.cc | 11 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/analyzer/torture/pr93350.c | 11 |
4 files changed, 33 insertions, 1 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 0960a49..e3f7c43 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,5 +1,12 @@ 2020-02-10 David Malcolm <dmalcolm@redhat.com> + PR analyzer/93350 + * region-model.cc (region_model::get_lvalue_1): + Handle BIT_FIELD_REF. + (make_region_for_type): Handle VECTOR_TYPE. + +2020-02-10 David Malcolm <dmalcolm@redhat.com> + PR analyzer/93647 * diagnostic-manager.cc (diagnostic_manager::prune_for_sm_diagnostic): Bulletproof against diff --git a/gcc/analyzer/region-model.cc b/gcc/analyzer/region-model.cc index a88a85d..8515560 100644 --- a/gcc/analyzer/region-model.cc +++ b/gcc/analyzer/region-model.cc @@ -4635,6 +4635,14 @@ region_model::get_lvalue_1 (path_var pv, region_model_context *ctxt) } break; + case BIT_FIELD_REF: + { + /* For now, create a view, as if a cast, ignoring the bit positions. */ + tree obj = TREE_OPERAND (expr, 0); + return get_or_create_view (get_lvalue (obj, ctxt), TREE_TYPE (expr)); + }; + break; + case MEM_REF: { tree ptr = TREE_OPERAND (expr, 0); @@ -6008,7 +6016,8 @@ make_region_for_type (region_id parent_rid, tree type) if (INTEGRAL_TYPE_P (type) || SCALAR_FLOAT_TYPE_P (type) || POINTER_TYPE_P (type) - || TREE_CODE (type) == COMPLEX_TYPE) + || TREE_CODE (type) == COMPLEX_TYPE + || TREE_CODE (type) == VECTOR_TYPE) return new primitive_region (parent_rid, type); if (TREE_CODE (type) == RECORD_TYPE) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index bb7ecda..290bd8a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2020-02-10 David Malcolm <dmalcolm@redhat.com> + PR analyzer/93350 + * gcc.dg/analyzer/torture/pr93350.c: New test. + +2020-02-10 David Malcolm <dmalcolm@redhat.com> + PR analyzer/93647 * gcc.dg/analyzer/torture/pr93647.c: New test. diff --git a/gcc/testsuite/gcc.dg/analyzer/torture/pr93350.c b/gcc/testsuite/gcc.dg/analyzer/torture/pr93350.c new file mode 100644 index 0000000..1799da1 --- /dev/null +++ b/gcc/testsuite/gcc.dg/analyzer/torture/pr93350.c @@ -0,0 +1,11 @@ +/* { dg-require-effective-target vect_int } */ +/* { dg-additional-options "-Wno-psabi" } */ + +typedef __INT32_TYPE__ int32_t; +typedef int32_t vnx4si __attribute__((vector_size (32))); + +__attribute__((noipa)) +vnx4si foo(int a, int b) +{ + return (vnx4si) { 1, 2, 3, 4, 5, 6, a, b }; +} |