http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58101
Mikhail Veltishchev <dichlofos-mv at yandex dot ru> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dichlofos-mv at yandex dot ru
--- Comment #4 from Mikhail Veltishchev <dichlofos-mv at yandex dot ru> ---
Luis, why do you state that "rcu_num_levels is never larger than 1", this
cannot be proved as this variable is not const and can change its value (e.g.
in another thread).
