http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55529
Markus Trippelsdorf changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolutio
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55529
--- Comment #7 from Paolo Carlini 2012-11-29
13:31:57 UTC ---
IMHO, Jakub's replies + the clarification about static mean this is invalid.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55529
--- Comment #6 from Markus Trippelsdorf
2012-11-29 13:25:07 UTC ---
It's defined as:
94 int rcu_num_lvls __read_mostly = RCU_NUM_LVLS;
and never modified elsewhere AFAICS.
and from kernel/rcutree.h:
364 struct rcu_state {
365 struc
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55529
Marek Polacek changed:
What|Removed |Added
CC||mpolacek at gcc dot gnu.org
---
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55529
--- Comment #4 from Markus Trippelsdorf
2012-11-29 13:16:08 UTC ---
The testcase was derived from the Linux kernel:
CC kernel/rcutree.o
kernel/rcutree.c: In function ‘rcu_init_one’:
kernel/rcutree.c:2850:13: warning: array subscript is a
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55529
--- Comment #3 from Jakub Jelinek 2012-11-29
13:06:21 UTC ---
This kind of warning is diagnosed even for code that isn't always executed
(after all, in most cases you don't know whether a function will be ever
executed from main or not), u
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55529
--- Comment #2 from Markus Trippelsdorf
2012-11-29 13:02:11 UTC ---
(In reply to comment #1)
> Why is the warning bogus? If the loop body is executed at all, you always
> overflow the loop bounds.
Sure, but the loop is never executed i
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55529
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
--- Co
