This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: The utility of standard's semantics for overflow
> Yes, I am pretty sure. I said "most lines of code", not "most
> applications",
> to indicate the density difference. If each line of code has, e.g., 1%
> chance
> to violate overflow rules, and 0.01% chance to violate aliasing rules,
> then for 10KLOC, you have:
> - probability of 63% to violate aliasing rules
> - and 100% (99.99....9 with 43 nines) to violate overflow rules.
Then there are different "most"s because, if each line of code has 1%
chance to violate overflow rules, "most" of them don't for reasonable
definitions of "most".
--
Eric Botcazou