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

re PR sanitizer/63802 (UBSan doesn't catch misaligned access if address is 16-bytes (or more) aligned)

Browse Source 
2014-11-18  Yury Gribov  <y.gribov@samsung.com>

	PR sanitizer/63802

gcc/
	* stor-layout.c (min_align_of_type): Respect user alignment
	more.

gcc/testsuite/
	* c-c++-common/ubsan/pr63802.c: New test.

From-SVN: r217689
This commit is contained in:
Yury Gribov 2014-11-18 07:37:17 +00:00 committed by Yury Gribov
parent 005581f187
commit 24ebfddf68
4 changed files with 35 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2014-11-18 Yury Gribov <y.gribov@samsung.com>
PR sanitizer/63802
* stor-layout.c (min_align_of_type): Respect user alignment
more.
2014-11-18 Ilya Enkovich <ilya.enkovich@intel.com>
* passes.c (remove_cgraph_node_from_order): New.

2
gcc/stor-layout.c
View File

@ -2430,9 +2430,9 @@ unsigned int
min_align_of_type (tree type)
{
unsigned int align = TYPE_ALIGN (type);
align = MIN (align, BIGGEST_ALIGNMENT);
if (!TYPE_USER_ALIGN (type))
{
align = MIN (align, BIGGEST_ALIGNMENT);
#ifdef BIGGEST_FIELD_ALIGNMENT
align = MIN (align, BIGGEST_FIELD_ALIGNMENT);
#endif

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2014-11-18 Yury Gribov <y.gribov@samsung.com>
PR sanitizer/63802
* c-c++-common/ubsan/pr63802.c: New test.
2014-11-18 Ilya Enkovich <ilya.enkovich@intel.com>
* g++.dg/pr63766.C: New.

23
gcc/testsuite/c-c++-common/ubsan/pr63802.c Normal file
View File

@ -0,0 +1,23 @@
/* Limit this to known non-strict alignment targets. */
/* { dg-do run { target { i?86-*-linux* x86_64-*-linux* } } } */
/* { dg-options "-fsanitize=alignment" } */
#define __round_mask(x, y) ((__typeof__(x))((y)-1))
#define round_up(x, y) ((((x)-1) | __round_mask(x, y))+1)
struct test_struct {
unsigned long a;
int b;
} __attribute__((__aligned__(64)));
char a[200];
int main ()
{
volatile int x = ((struct test_struct*)(round_up((unsigned long)a, 64) + 16))->b;
volatile int y = ((struct test_struct*)(round_up((unsigned long)a, 64) + 15))->b;
return 0;
}
/* { dg-output "\.c:18:\[0-9]*: \[^\n\r]*member access within misaligned address 0x\[0-9a-fA-F]* for type 'struct test_struct', which requires 64 byte alignment.*" } */