44 ms·
Soundness is of relatively minor importance on account of rejecting the occasional correct program is a reasonable price to pay for rejecting all incorrect prog
by User23 4y ago
Soundness is of relatively minor importance on account of rejecting the occasional correct program is a reasonable price to pay for rejecting all incorrect programs. Especially when you can allow the programmer to hint the analyzer.
- tialaramex 4y ago> rejecting the occasional correct program is a reasonable price to pay for rejecting all incorrect programs I agree with you, but the C++ language disagrees very strongly, the set phrase in the C++ standard is "Ill-formed, no diagnostic required". ie the compiler isn't required to do anything sane in this case, but it also isn't required to emit a warning or error.