This commit was manufactured by cvs2svn to create branch 'spec-checking'.

llvm-svn: 87900