Richard, I think this check should allow expressions originating from macros: #define HAS_XYZ_FEATURE true static /*constexpr*/ bool returnTrue() { return true; } if (returnTrue() && HAS_XYZ_FEATURE); http://reviews.llvm.org/D7648 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/