There was a similar proposition in another problem http://llvm-reviews.chandlerc.com/D673, result of the discussion - atomic types must be transformed before such checks. This approach is used in this fix. http://llvm-reviews.chandlerc.com/D599