OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

stor-layout.c (layout_type): If TYPE_ALIAS_SET was already set on the incomplete type force it into alias set 0.

Browse Source 
* stor-layout.c (layout_type): If TYPE_ALIAS_SET was already set on the
	incomplete type force it into alias set 0.

	* gcc.c-torture/execute/20001024-1.c: New test.

From-SVN: r37052
This commit is contained in:
Jakub Jelinek 2000-10-25 17:23:35 +02:00 committed by Jakub Jelinek
parent 1ac41449a6
commit dc5041ab71
4 changed files with 51 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2000-10-25 Jakub Jelinek <jakub@redhat.com>
* stor-layout.c (layout_type): If TYPE_ALIAS_SET was already set on the
incomplete type force it into alias set 0.
Wed Oct 25 01:02:44 EDT 2000 John Wehle (john@feith.com)
* alias.c: Include basic-block.h.

8
gcc/stor-layout.c
View File

@ -1504,6 +1504,14 @@ layout_type (type)
record it so set_sizetype can fix it up. */
if (! sizetype_set)
early_type_list = tree_cons (NULL_TREE, type, early_type_list);
/* If an alias set has been set for this aggregate when it was incomplete,
force it into alias set 0.
This is too conservative, but we cannot call record_component_aliases
here because some frontends still change the aggregates after
layout_type. */
if (AGGREGATE_TYPE_P (type) && TYPE_ALIAS_SET_KNOWN_P (type))
TYPE_ALIAS_SET (type) = 0;
}
/* Create and return a type for signed integers of PRECISION bits. */

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2000-10-25 Jakub Jelinek <jakub@redhat.com>
* gcc.c-torture/execute/20001024-1.c: New test.
2000-10-24 Jakub Jelinek <jakub@redhat.com>
* g++.old-deja/g++.other/sibcall1.C: New test.

34
gcc/testsuite/gcc.c-torture/execute/20001024-1.c Normal file
View File

@ -0,0 +1,34 @@
struct a;
extern int baz (struct a *__restrict x);
struct a {
long v;
long w;
};
struct b {
struct a c;
struct a d;
};
int bar (int x, const struct b *__restrict y, struct b *__restrict z)
{
if (y->c.v || y->c.w != 250000 || y->d.v || y->d.w != 250000)
abort();
}
void foo(void)
{
struct b x;
x.c.v = 0;
x.c.w = 250000;
x.d = x.c;
bar(0, &x, ((void *)0));
}
int main()
{
foo();
exit(0);
}