Thanks Dmitri! In that case, that means I have to drop the -verify part of the patch. Anyway, I am waiting for your feedback tomorrow for the final commit. -Quentin http://llvm-reviews.chandlerc.com/D2430