|
|
|
|
|
|
by spookie
333 days ago
|
|
|
> impossible to formally prove If you assume the entire lang, yes. If you use a large subset, no. Furthermore, compiler interpretation might actually be sane! There are more compilers out there than GCC, Clang or MSVC. I suspect many assumptions are being made on this claim. |
|
|