On Wed, Mar 11, 2009 at 11:23 AM, Geoffrey Irving <[email protected]> wrote: > Uninitialized allocation is perfectly safe as long as you don't mind > errors resulting in nondeterministic (but still safe) behavior.
You mean "undefined", not "nondeterministic". And unfortunately, we *do* mind. Since we want to be able to embed BitC in a prover, undefined behavior is double plus ungood. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
