3 ms·
SAL and VCC are for making C programs correct. This is related but not the same thing as making the C compiler correct. These source-level tools assume that the
by pascal_cuoq 15y ago
SAL and VCC are for making C programs correct. This is related but not the same thing as making the C compiler correct. These source-level tools assume that the compiler translates the programs correctly.
- keithnoizu 15y agoHopefully we are self hosting at this point and smart enough to apply SAL and VCC to our compiler itself.