19 Feb
2015
19 Feb
'15
9:17 a.m.
On Feb 19, 2015, at 10:10 AM, Mouse <mouse at
Rodents-Montreal.ORG> wrote:
I've occasionally toyed with the idea of building a `code checkout'
compiler, one which goes out of its way to break various assumptions
which are not promised by the language but are nevertheless true of the
obvious implementation on all even vaguely common machines. (For
example, void * and char * would be larger than, and use a different
representation from, other pointer types.)
clang already does that, even for perfectly well defined constructs that the
clang folks got outlawed in the standards process. :(
Warner