From: ianlancetaylor@gmail.com   
      
   Martin Ward  writes:   
      
   > There are many language in which all behaviour is defined:   
   > for example, Go has no undefined behaviour. Some behaviour   
   > may be "unspecified" (eg it could do X, or could do Y,   
   > but cannot do anything else).   
      
   (Setting aside the use of the "unsafe" package, of course.)   
      
   We hope to get to that point, but it's not true today.  The language   
   spec is not clear on the effects of race conditions.  With today's   
   implementations you can set up a race condition that lets you change a   
   slice pointer to anything at all, which effectively leads to undefined   
   behavior even without using the "unsafe" package.  See, e.g.,   
   https://research.swtch.com/gorace.   
      
   Ian   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)