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

re PR libmudflap/36397 (ICE with pointer cast and -fmudflap) 

PR libmudflap/36397
	* tree-mudflap.c (mf_xform_derefs_1): Handle VIEW_CONVERT_EXPR.

	* testsuite/libmudflap.c/pass64-frag.c: New test.

From-SVN: r140374
This commit is contained in:
Jakub Jelinek 2008-09-15 23:52:53 +02:00 committed by Jakub Jelinek
parent 6a7a3f311b
commit 8586aeeb9c
4 changed files with 55 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 @@
2008-09-15 Jakub Jelinek <jakub@redhat.com>
PR libmudflap/36397
* tree-mudflap.c (mf_xform_derefs_1): Handle VIEW_CONVERT_EXPR.
2008-09-14 Andreas Schwab <schwab@suse.de>
* tree-call-cdce.c (check_target_format): Accept Motorola formats.

7
gcc/tree-mudflap.c
View File

@ -773,6 +773,13 @@ mf_xform_derefs_1 (gimple_stmt_iterator *iter, tree *tp,
base = TREE_OPERAND (var, 0);
break;
}
else if (TREE_CODE (var) == VIEW_CONVERT_EXPR)
{
var = TREE_OPERAND (var, 0);
if (CONSTANT_CLASS_P (var)
&& TREE_CODE (var) != STRING_CST)
return;
}
else
{
gcc_assert (TREE_CODE (var) == VAR_DECL

5
libmudflap/ChangeLog
View File

@ -1,3 +1,8 @@
2008-09-15 Jakub Jelinek <jakub@redhat.com>
PR libmudflap/36397
* testsuite/libmudflap.c/pass64-frag.c: New test.
2008-06-17 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
* Makefile.in: Regenerate.

38
libmudflap/testsuite/libmudflap.c/pass64-frag.c Normal file
View File

@ -0,0 +1,38 @@
/* PR libmudflap/36397 */
/* { dg-do run } */
/* { dg-options "-O -fmudflap -fno-strict-aliasing -lmudflap" } */
struct A
{
int a[2];
};
long long int x;
int __attribute__ ((noinline))
baz (long long int *x)
{
return *x;
}
int __attribute__ ((noinline))
foo (int i)
{
if (i > 10)
return baz (&x);
return ((struct A *) &x)->a[i];
}
int
main (void)
{
if (sizeof (long long) == 2 * sizeof (int)
&& sizeof (long long) == sizeof (struct A))
{
struct A a = { .a[0] = 10, .a[1] = 20 };
__builtin_memcpy (&x, &a, sizeof (x));
if (foo (0) != 10 || foo (1) != 20)
__builtin_abort ();
}
return 0;
}