it is used by acpica to implement snprintf and sprint -: https://github.com/acpica/acpica/blob/master/source/components/utilities/utprint.c see line 837. Clearly Format and Args aren't known at compile time, however the invocation is correct and valid so I don't get why the incorrect warning is shown. (I could understand a message similar to other -format ones that suggest the operation may overflow the buffer - but that's not what the diagnostic says, it implies the second parameter cant be over INT_MAX). On Thu, 14 Feb 2019 at 10:44, Jonathan Wakely <jwakely.gcc@xxxxxxxxx> wrote: > 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. >
