Felix S. Klock II f96777c9ff After discussion with ariel, replacing a guard within kill_loans_out_of_scope_at_location. ...

Instead we are "just" careful to invoke it (which sets up a bunch of kill bits)
before we go into the code that sets up the gen bits.

That way, when the gen bits are set up, they will override any
previously set kill-bits for those reservations or activations.

2017-12-13 18:10:37 -06:00

..

borrows.rs

After discussion with ariel, replacing a guard within kill_loans_out_of_scope_at_location.

2017-12-13 18:10:37 -06:00

mod.rs

Refactoring: pull bitvector initialization out from other parts of dataflow.

2017-12-13 13:50:39 -06:00

storage_liveness.rs

Refactoring: pull bitvector initialization out from other parts of dataflow.

2017-12-13 13:50:39 -06:00