[Swan-commit] Changes to ref refs/heads/master

[D. Hugh Redelmeier]

New commits:
commit c889d28693f7b4881b2ca517b98e96af07114898
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Tue Jul 28 10:26:44 2015 -0400

    clean up uses of zero() macro
    
    - Setting a pointer's value to zero bytes is not guaranteed by C make it NULL.
      Fix a number of instances of this problem.  Note others.  This is not an
      urgent problem since this actually works on all out target architectures.
    
    - add "messup()" to set memory to a deterministic useless value.
      Replace some calls to zero with calls to messup.  The hope is
      that this useless value may cause latent bugs to surface.
    
    - Add init_out_pbs that does init_pbs and then initializes the buffer
      to a deterministic useless value.  This is redundant but may make
      it easier to show that values don't leak.  Replace appropriate
      calls to init_pbs with calls to init_out_pbs.  Eliminate preceding
      redundant calls to zero().
    
    - random tidying