[Cryptography] GCC bug 30475
Nemo
nemo at self-evident.org
Fri Apr 25 12:24:40 EDT 2014
Bear <bear at sonic.net> writes:
> On Wed, 2014-04-23 at 18:06 -0400, D. Hugh Redelmeier wrote:
>> specs, we don't specify what the result will be.
>>
>> I want a compiler that says: when you go outside the specs, we'll
>> catch it and tell you (the language can help or hinder this). The
>> market seems to disagree (John Gilmore has pointed this out).
>>
>
> Such a compiler would be a very specialized product, but I believe
> that it would be useful and extraordinarily valuable to some subset
> of programmers. I have certainly searched for it before now.
GCC and Clang have done some work along these lines with
"-fsanitize-undefined":
http://stackoverflow.com/questions/20738232/
But (a) it will never be complete and (b) if it ever were complete, the
performance cost would be so high that it would not be C anymore.
- Nemo
https://self-evident.org/
More information about the cryptography
mailing list