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

Do not enable -fcheck-pointer-bounds w/ -fsanitize=bounds

Browse source 
PR sanitizer/71458
	* toplev.c (process_options): Do not enable -fcheck-pointer-bounds
	w/ -fsanitize=bounds.
	* gcc.target/i386/pr71458.c: New test.

From-SVN: r237353
This commit is contained in:
Martin Liska 2016-06-13 09:17:16 +02:00 • committed by Martin Liska
parent 1d1ca0deaa
commit 5843a5f0a2
4 changed files with 26 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/ChangeLog
View file

@ -1,3 +1,9 @@
2016-06-13 Martin Liska <mliska@suse.cz>
PR sanitizer/71458
* toplev.c (process_options): Do not enable -fcheck-pointer-bounds
w/ -fsanitize=bounds.
2016-06-12 Uros Bizjak <ubizjak@gmail.com>
* config/i386/i386.c (ix86_init_builtins): Calculate

4
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,7 @@
2016-06-13 Martin Liska <mliska@suse.cz>
* gcc.target/i386/pr71458.c: New test.
2016-06-12 Uros Bizjak <ubizjak@gmail.com>
PR target/71241

7
gcc/testsuite/gcc.target/i386/pr71458.c Normal file
View file

@ -0,0 +1,7 @@
/* { dg-do compile { target { ! x32 } } } */
/* { dg-options "-fcheck-pointer-bounds -mmpx -fsanitize=bounds" } */
/* { dg-error "-fcheck-pointer-bounds is not supported with -fsanitize=bounds" "" { target *-*-* } 0 } */
enum {} a[0];
void fn1(int);
void fn2() { fn1(a[-1]); }

9
gcc/toplev.c
View file

@ -1276,6 +1276,15 @@ process_options (void)
"Address Sanitizer");
flag_check_pointer_bounds = 0;
}
if (flag_sanitize & SANITIZE_BOUNDS)
{
error_at (UNKNOWN_LOCATION,
"-fcheck-pointer-bounds is not supported with "
"-fsanitize=bounds");
flag_check_pointer_bounds = 0;
}
}
/* One region RA really helps to decrease the code size. */