Hi Quentin, It is late time here, I will read the path tomorrow, but I wanted to say that it is expected that -verify can not match the diagnostics without locations. Dmitri http://llvm-reviews.chandlerc.com/D2430