On Thu, 14 Feb 2019 at 10:42, Kalamatee wrote: > My point is - if it generated a warning/error for "UNIT32_MAX + 1" that > _would_ be acceptable - but UNIT32_MAX itself is a constant and it can see > at compile time that can not over flow the buffer. Doesn't that depend on Format and Args? You haven't shown us the context the warning comes from, to see if those are known at compile time.