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

re PR sanitizer/61095 (miscompile: tsan is broken in gcc trunk, works in 4.9)

Browse source 
gcc/testsuite/
	PR tree-optimization/61095
	* gcc.dg/torture/pr61095.c: New test.

From-SVN: r210203
This commit is contained in:
Richard Sandiford 2014-05-08 08:00:21 +00:00 • committed by Richard Sandiford
parent ca49b74e1c
commit c7ad35388d
2 changed files with 28 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2014-05-08 Richard Sandiford <rdsandiford@googlemail.com>
PR tree-optimization/61095
* gcc.dg/torture/pr61095.c: New test.
2014-05-04 Thomas Preud'homme <thomas.preudhomme@arm.com> 2014-05-04 Thomas Preud'homme <thomas.preudhomme@arm.com>
PR middle-end/39246 PR middle-end/39246

23
gcc/testsuite/gcc.dg/torture/pr61095.c Normal file
View file

@ -0,0 +1,23 @@
/* { dg-do run } */
/* { dg-require-effective-target lp64 } */
extern void __attribute__ ((noreturn)) abort (void);
int __attribute__ ((noinline, noclone))
foo (unsigned long addr) {
unsigned long *p = (unsigned long*)((addr & 0xffff83fffffffff8UL) * 4);
unsigned long xxx = (unsigned long)(p + 1);
return xxx >= 0x3c000000000UL;
}
int
main (void)
{
if (foo (0))
abort ();
if (foo (0x7c0000000000UL))
abort ();
if (!foo (0xfc0000000000UL))
abort ();
return 0;
}