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

llvm-svn: 87900
tree: ea23130baf539147152b6cc9ba4f643f99980ab8
  1. safecode/