On Sat, 2017-07-15 at 22:07 +0200, Julia Lawall wrote: > These patches fix cases where there is a static on a local variable, but > the variable is initialized before any possible use. Thus, the static has > no benefit. Nice one.