Put into the branch barry/patch-flopcounts and merged into next for testing Thanks > On Feb 16, 2015, at 4:43 AM, Stefano Zampini <stefano.zampini at gmail.com> wrote: > > The attached patch should either go to master and maint. > It fixes some integer overflow that can occur when logging flops. > > > -- > Stefano > <patch_logflopsoverflow>