aboutsummaryrefslogtreecommitdiff
path: root/src/comp/lib
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2010-12-06 17:46:35 -0800
committerGraydon Hoare <[email protected]>2010-12-06 17:46:44 -0800
commita059b4720c674b8d5f70a72d4c3b5d610774c43a (patch)
treedefeb0c712e3becaee0af0ecc44bfc3f37f2bacc /src/comp/lib
parentrustc: Run the verifier over LLVM modules before writing them out (diff)
downloadrust-a059b4720c674b8d5f70a72d4c3b5d610774c43a.tar.xz
rust-a059b4720c674b8d5f70a72d4c3b5d610774c43a.zip
Null slots on missing init, null-check box ptrs on drop. Works around missing typestate pass. Un-XFAIL box-in-tup.rs.
Diffstat (limited to 'src/comp/lib')
0 files changed, 0 insertions, 0 deletions