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

[D. Hugh Redelmeier]

New commits:
commit 9b46c1ee08f277a023b1eca32bf1d9807d07feed
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Sun Jun 10 16:21:08 2018 -0400

    pluto: respond to clang diagnostics
    
    - redid a few bits of code in attempt to make it clearer to
      clang and to a human reader
    
    - added ??? comments where the intention of the code wasn't
      clear to me.
    
    - new logic: create_xfrm_migrate_sa can now indicate failure,
      If it does, the corresponding call to migrate_xfrm_sa
      is suppressed
    
    - added more comments "var not subsequently used" were the value of
      a variable will not be used after an assignment but the
      assignment is good style (preserves an invariant).
    
    - eliminate the duplicate definition of DISCARD_CONST