From e87deb37649cfe480217fc83c8d56fe925600f93 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Fri, 7 Feb 2020 05:49:24 -0500 Subject: [PATCH] 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 | 7 +++++++ gcc/analyzer/region-model.cc | 11 ++++++++++- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/analyzer/torture/pr93350.c | 11 +++++++++++ 4 files changed, 33 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.dg/analyzer/torture/pr93350.c diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 0960a49eb62..e3f7c43948a 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,10 @@ +2020-02-10 David Malcolm + + 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 PR analyzer/93647 diff --git a/gcc/analyzer/region-model.cc b/gcc/analyzer/region-model.cc index a88a85d70ab..85155602cb1 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 bb7ecda48e8..290bd8afdfa 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2020-02-10 David Malcolm + + PR analyzer/93350 + * gcc.dg/analyzer/torture/pr93350.c: New test. + 2020-02-10 David Malcolm PR analyzer/93647 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 00000000000..1799da1936c --- /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 }; +} -- 2.30.2