re PR tree-optimization/48098 (internal compiler error: in build_vector_from_val, at tree.c:1380)

2011-03-14  Richard Guenther  <rguenther@suse.de>

	PR middle-end/48098
	* tree.c (build_vector_from_val): Adjust assert to requirements
	and reality.

	* gcc.dg/torture/pr48098.c: New testcase.

From-SVN: r170934
This commit is contained in:
Richard Guenther 2011-03-14 12:20:48 +00:00 committed by Richard Biener
parent c6104ef1c3
commit 7f4d6e1beb
4 changed files with 31 additions and 2 deletions

View File

@ -1,3 +1,9 @@
2011-03-14 Richard Guenther <rguenther@suse.de>
PR middle-end/48098
* tree.c (build_vector_from_val): Adjust assert to requirements
and reality.
2011-03-14 Jakub Jelinek <jakub@redhat.com>
PR bootstrap/48102

View File

@ -1,3 +1,8 @@
2011-03-14 Richard Guenther <rguenther@suse.de>
PR middle-end/48098
* gcc.dg/torture/pr48098.c: New testcase.
2011-03-12 Peter Bergner <bergner@vnet.ibm.com>
PR target/48053

View File

@ -0,0 +1,12 @@
/* { dg-do compile } */
void
foo (int n)
{
static char *__restrict *p;
int i;
p = __builtin_malloc (n);
for (i = 0; i < n; i++)
p[i] = 0;
}

View File

@ -1376,8 +1376,14 @@ build_vector_from_val (tree vectype, tree sc)
if (sc == error_mark_node)
return sc;
gcc_assert (useless_type_conversion_p (TREE_TYPE (sc),
TREE_TYPE (vectype)));
/* Verify that the vector type is suitable for SC. Note that there
is some inconsistency in the type-system with respect to restrict
qualifications of pointers. Vector types always have a main-variant
element type and the qualification is applied to the vector-type.
So TREE_TYPE (vector-type) does not return a properly qualified
vector element-type. */
gcc_checking_assert (types_compatible_p (TYPE_MAIN_VARIANT (TREE_TYPE (sc)),
TREE_TYPE (vectype)));
v = VEC_alloc (constructor_elt, gc, nunits);
for (i = 0; i < nunits; ++i)