I think this is fine for the analyzer checks. However, as people can link in their checks, it might make sense to do runtime checks for those. WDYT? http://reviews.llvm.org/D4982