bors 38bdbb7cf9 Auto merge of #43748 - RalfJung:mir-validate2, r=arielb1 ...

AddValidation: handle Call terminators into blocks that have multiple incoming edges

The old code was just wrong: It would add validation on paths that don't even come from the call, and it would add multiple validations if multiple calls end return to the same block.

2017-08-11 13:04:59 +00:00

..

add_call_guards.rs

run AddCallGuards for *all* call edges before running AddValidation

2017-08-09 12:16:59 -07:00

add_validation.rs

also release-validate return value before a call

2017-08-01 21:06:33 -07:00

clean_end_regions.rs

CleanEndRegions: use default impl where possible

2017-07-31 13:21:10 -07:00

copy_prop.rs

…

deaggregator.rs

…

dump_mir.rs

…

elaborate_drops.rs

Shift mir-dataflow from rustc_borrowck to rustc_mir crate.

2017-06-28 13:59:12 +02:00

erase_regions.rs

optionally only emit basic validation for functions containing unsafe block / unsafe function

2017-07-31 15:46:36 -07:00

inline.rs

overload the mir ty methods to make them more ergonomic to use

2017-07-12 12:59:05 -07:00

instcombine.rs

overload the mir ty methods to make them more ergonomic to use

2017-07-12 12:59:05 -07:00

mod.rs

add a pass for validation commands; for now just emit the initial AcquireValid

2017-07-30 01:11:59 -07:00

nll.rs

Keep map hidden and instead move it out after visitor is finished

2017-08-04 09:06:55 -04:00

no_landing_pads.rs

…

promote_consts.rs

overload the mir ty methods to make them more ergonomic to use

2017-07-12 12:59:05 -07:00

qualify_consts.rs

make for_all_relevant_impls O(1) again

2017-08-08 11:18:12 +03:00

rustc_peek.rs

add new instructions for asserting when values are valid, and to describe when we can rely on them being locked in memory

2017-07-30 01:11:59 -07:00

simplify_branches.rs

…

simplify.rs

rustc_mir::transform::simplify - remove nops first

2017-08-01 00:12:31 +03:00

type_check.rs

Auto merge of #43582 - ivanbakel:unused_mut_ref, r=arielb1

2017-08-10 08:53:22 +00:00