diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2010-02-15 22:09:09 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2010-02-15 22:09:09 +0000 |
| commit | 6a7cb63f6fe4b9ce707e88490e2eeb76cb40ed80 (patch) | |
| tree | 00177f3ee697ea23e4c4f4958a8a5e7fcd565e1b /utils/llvm-native-gxx | |
| parent | 8eea48a43da9e861841abe869c5f3215c1f42d27 (diff) | |
| download | external_llvm-6a7cb63f6fe4b9ce707e88490e2eeb76cb40ed80.zip external_llvm-6a7cb63f6fe4b9ce707e88490e2eeb76cb40ed80.tar.gz external_llvm-6a7cb63f6fe4b9ce707e88490e2eeb76cb40ed80.tar.bz2 | |
Teach the verifier to check the condition on a branch and ensure that it has
'i1' type.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@96282 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'utils/llvm-native-gxx')
0 files changed, 0 insertions, 0 deletions