summary refs log tree commit diff
path: root/src/test/mir-opt/validate_1.rs
AgeCommit message (Expand)AuthorLines
2017-08-04test MIR validation statements in closuresRalf Jung-5/+23
2017-08-01also release-validate return value before a callRalf Jung-1/+1
2017-08-01handle tuple struct ctorsRalf Jung-12/+12
2017-07-31Handle closures. Add some more tests.Ralf Jung-0/+7
2017-07-31fix AddValidation on methodsRalf Jung-18/+21
2017-07-31more readable printing of validation operandsRalf Jung-7/+7
2017-07-31optionally only emit basic validation for functions containing unsafe block /...Ralf Jung-1/+1
2017-07-30silence tidyRalf Jung-0/+1
2017-07-30Add tests for emitting validation statementsRalf Jung-0/+48