What every C Programmer should know about undefined behavior #2/3
What every C Programmer should know about undefined behavior #2/3
Posted May 18, 2011 11:34 UTC (Wed) by Wol (subscriber, #4433)In reply to: What every C Programmer should know about undefined behavior #2/3 by HelloWorld
Parent article: What every C Programmer should know about undefined behavior #2/3
>This is, and has always been, a bullshit argument. The fact that we can't write a program that will tell us whether some program will halt doesn't mean that we can't prove it for some specific program we care about.
Just because you've proved it in the imaginary world of maths doesn't mean diddley-squat. The ONLY valid proof in the real world is "well, we haven't been wrong yet - but there's always a first time ...".
Cheers,
Wol