Google Git
Sign in
fuchsia / third_party / swift / refs/heads/upstream/google-bak / . / test / SIL / ownership-verifier
tree: a28cd2b369a050f5f28d67fd52a1e265bbaf52df [path history] [tgz]
  1. arguments.sil
  2. borrow_scope_introducing_operands.sil
  3. borrow_scope_introducing_operands_positive.sil
  4. cond_br_crash.sil
  5. cond_br_no_crash.sil
  6. definite_init.sil
  7. disable_verifier_using_semantic_tag.sil
  8. false_positive_leaks.sil
  9. leaks.sil
  10. objc_use_verifier.sil
  11. opaque_use_verifier.sil
  12. over_consume.sil
  13. over_consume_positive.sil
  14. subobject_borrowing.sil
  15. undef.sil
  16. unreachable_code.sil
  17. use_verifier.sil