On Tue, Nov 28, 2017 at 9:41 AM, Joe Perches <[email protected]> wrote: > > Perhaps if there are really tools that parse this > the [<leading-0-width>] should be kept the same too.
If we really get failures, we can do that.
But since the width is already different on 32-bit and 64-bit, I
seriously doubt there are any tools that would care about the width.
They'd already be horribly broken.
So let's not waste space with pointless zeroes unless somebody finds a
case where it matters.
Linus
