We may get rid of `Header` pointer completely, and instead put this logic (with an appropriate comment) in `getHeader()` method. Let me know what you prefer. http://reviews.llvm.org/D10226 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/