Not logged in
Log in now
Create an account
Subscribe to LWN
LWN.net Weekly Edition for May 23, 2013
An "enum" for Python 3
An unexpected perf feature
LWN.net Weekly Edition for May 16, 2013
A look at the PyPy 2.0 release
That would be a solution to the halting problem. So, no -- not possible.
What Every C Programmer Should Know About Undefined Behavior #3/3
Posted May 22, 2011 8:36 UTC (Sun) by nteon (subscriber, #53899)
Posted May 23, 2011 15:19 UTC (Mon) by HelloWorld (guest, #56129)
Posted May 23, 2011 15:53 UTC (Mon) by vonbrand (subscriber, #4458)
It is possible to find a set of conditions in which nothing strange happens (by simulating the program running in each case, or some sophisticated variation thereof). The problem is that doing so is a lot of work, and/or the resulting set of "safe" uses is disappointingly small.
Copyright © 2013, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds