allowRemainingUndefines is handled outside checkUndefines (in resolve()) so it looks ok. Do you think you can add a test for this patch? http://llvm-reviews.chandlerc.com/D1582