Re: gprof(1): out-of-bounds access from unchecked ELF header fields

[Theo de Raadt]

So I think you need to increase the checking conditions.  Check one
variable, then check the sum of the variables..  Or some (long long) or
(unsigned long long) casts to ensure the sum cannot overflow?