procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

analyzer: handle vector types (PR 93350)

Browse source 
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.
This commit is contained in:
David Malcolm 2020-02-07 05:49:24 -05:00
parent e953f9588d
commit e87deb3764
4 changed files with 33 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
gcc/analyzer/ChangeLog
View file

@ -1,3 +1,10 @@
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

11
gcc/analyzer/region-model.cc
View file

@ -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)

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
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

11
gcc/testsuite/gcc.dg/analyzer/torture/pr93350.c Normal file
View file

@ -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 };
}