commit | a0c5e6ceb53c0f77906d813a354b19e72d26950c | [log] [tgz] |
---|---|---|
author | Rafael Espindola <rafael.espindola@gmail.com> | Fri Jun 01 19:24:57 2012 +0000 |
committer | Rafael Espindola <rafael.espindola@gmail.com> | Fri Jun 01 19:24:57 2012 +0000 |
tree | de9920b5674f660fd16c87cdbb5196b493e974f5 | |
parent | 693e3ee0c2d2a2cb6f691222694a788dd595c108 [diff] |
Add some tests checking that the verifier rejects cases where a definition doesn't dominate a use. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157829 91177308-0d34-0410-b5e6-96231b3b80d8