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

re PR c/67279 (-fsanitize=undefined spurious error: initializer element is not constant)

Browse Source 
PR sanitizer/67279
	* c-typeck.c (build_binary_op): Don't instrument static initializers.

	* gcc.dg/ubsan/pr67279.c: New test.

From-SVN: r227491
This commit is contained in:
Marek Polacek 2015-09-04 12:37:39 +00:00 committed by Marek Polacek
parent f16081c2c6
commit b2aaf23577
4 changed files with 26 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/c/ChangeLog
View File

@ -1,3 +1,8 @@
2015-09-04 Marek Polacek <polacek@redhat.com>
PR sanitizer/67279
* c-typeck.c (build_binary_op): Don't instrument static initializers.
2015-09-03 Martin Sebor <msebor@redhat.com>
PR c/66516

3
gcc/c/c-typeck.c
View File

@ -11292,7 +11292,8 @@ build_binary_op (location_t location, enum tree_code code,
if ((flag_sanitize & (SANITIZE_SHIFT | SANITIZE_DIVIDE
| SANITIZE_FLOAT_DIVIDE))
&& do_ubsan_in_current_function ()
&& (doing_div_or_mod || doing_shift))
&& (doing_div_or_mod || doing_shift)
&& !require_constant_value)
{
/* OP0 and/or OP1 might have side-effects. */
op0 = c_save_expr (op0);

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2015-09-04 Marek Polacek <polacek@redhat.com>
PR sanitizer/67279
* gcc.dg/ubsan/pr67279.c: New test.
2015-09-04 Andrey Turetskiy <andrey.turetskiy@intel.com>
Petr Murzin <petr.murzin@intel.com>
Kirill Yukhin <kirill.yukhin@intel.com>

14
gcc/testsuite/gcc.dg/ubsan/pr67279.c Normal file
View File

@ -0,0 +1,14 @@
/* PR sanitizer/67279 */
/* { dg-do compile } */
/* { dg-options "-fsanitize=undefined -w" } */
#define INT_MIN (-__INT_MAX__ - 1)
void
foo (void)
{
static int a1 = 1 << 31;
static int a2 = 10 << 30;
static int a3 = 100 << 28;
static int a4 = INT_MIN / -1;
}