News for hackers. Stuff that matters.

A comment on Rebuild of the Debian archive with clang. Parent comment

Re:Rebuild of the Debian archive with clang by iso8859-1 on Wednesday February 29, 2012 @06:42AM (#3647430)
It can be proven, see CompCert C compiler: http://compcert.inria.fr/compcert-C.html.
[ Parent | on HN ]
Re:Rebuild of the Debian archive with clang by stingraycharles on Wednesday February 29, 2012 @07:05AM (#3647470)
That only proves that a compiler behaves according to a language definition. That does not prove the executables will behave as you expect the executables to behave, and thus there is no way knowing the executables will be error free.
[ Parent | on HN ]
Re:Rebuild of the Debian archive with clang by Dylan16807 on Wednesday February 29, 2012 @09:20AM (#3647858)
Frownie said error-free compilation, not error-free in all possible aspects.
[ Parent | on HN ]