re PR c++/56815 (void pointer arithmetic)

/cp
2013-04-03  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/56815
	* typeck.c (cp_build_unary_op): Change -Wpointer-arith permerror to
	pedwarn.

/testsuite
2013-04-03  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/56815
	* g++.dg/warn/Wpointer-arith-1.C: New.
	* g++.dg/gomp/for-19.C: Adjust.

From-SVN: r197433
This commit is contained in:
Paolo Carlini 2013-04-03 16:20:51 +00:00 committed by Paolo Carlini
parent 71c581e77d
commit c42a832a95
5 changed files with 34 additions and 8 deletions

View file

@ -1,3 +1,9 @@
2013-04-03 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/56815
* typeck.c (cp_build_unary_op): Change -Wpointer-arith permerror to
pedwarn.
2013-04-03 Jakub Jelinek <jakub@redhat.com>
PR debug/56819

View file

@ -5574,15 +5574,16 @@ cp_build_unary_op (enum tree_code code, tree xarg, int noconvert,
else
return error_mark_node;
}
else if ((pedantic || warn_pointer_arith)
&& !TYPE_PTROB_P (argtype))
else if (!TYPE_PTROB_P (argtype))
{
if (complain & tf_error)
permerror (input_location, (code == PREINCREMENT_EXPR
pedwarn (input_location,
pedantic ? OPT_Wpedantic : OPT_Wpointer_arith,
(code == PREINCREMENT_EXPR
|| code == POSTINCREMENT_EXPR)
? G_("ISO C++ forbids incrementing a pointer of type %qT")
: G_("ISO C++ forbids decrementing a pointer of type %qT"),
argtype);
? G_("ISO C++ forbids incrementing a pointer of type %qT")
: G_("ISO C++ forbids decrementing a pointer of type %qT"),
argtype);
else
return error_mark_node;
}

View file

@ -1,3 +1,9 @@
2013-04-03 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/56815
* g++.dg/warn/Wpointer-arith-1.C: New.
* g++.dg/gomp/for-19.C: Adjust.
2013-04-03 Marek Polacek <polacek@redhat.com>
PR sanitizer/55702

View file

@ -9,7 +9,7 @@ void
f1 (void)
{
#pragma omp for
for (void *q = (void *)p; q < (void *) (p + 4); q++) // { dg-error "forbids incrementing a pointer of type" }
for (void *q = (void *)p; q < (void *) (p + 4); q++) // { dg-warning "forbids incrementing a pointer of type" }
;
}
@ -27,7 +27,7 @@ void
f3 (void)
{
#pragma omp for
for (T q = T (p); q < T (p + 4); q++) // { dg-error "forbids incrementing a pointer of type" }
for (T q = T (p); q < T (p + 4); q++) // { dg-warning "forbids incrementing a pointer of type" }
;
}

View file

@ -0,0 +1,13 @@
// PR c++/56815
// { dg-options "-Wpointer-arith" }
int main()
{
void *pv = 0;
pv++; // { dg-warning "forbids incrementing a pointer" }
typedef void (*pft) ();
pft pf = 0;
pf++; // { dg-warning "forbids incrementing a pointer" }
}