tree d525cb077916c84a95d3b6e6a373cadb83c09198
parent ebadeff0caa424013a729d3ad1e7210142bc781f
author Yang Tse <yangsita@gmail.com> 1223513450 +0000
committer Yang Tse <yangsita@gmail.com> 1223513450 +0000

HP C adjustments:

  Disallow run-time dereferencing of null pointers.

  Disable some remarks:

    #4227: padding struct with n bytes to align member.

    #4255: padding size of struct with n bytes to alignment boundary.