Hex Artifact Content
Not logged in

Artifact 7b3be4fc695586306d86b0390f49f15ea37008ad:


0000: 75 73 65 20 72 75 73 74 63 3a 3a 6d 69 72 3a 3a  use rustc::mir::
0010: 7b 73 65 6c 66 2c 20 4c 6f 63 61 74 69 6f 6e 2c  {self, Location,
0020: 20 50 6c 61 63 65 2c 20 50 6c 61 63 65 42 61 73   Place, PlaceBas
0030: 65 2c 20 42 6f 64 79 7d 3b 0a 75 73 65 20 72 75  e, Body};.use ru
0040: 73 74 63 3a 3a 74 79 3a 3a 7b 73 65 6c 66 2c 20  stc::ty::{self, 
0050: 54 79 43 74 78 74 7d 3b 0a 75 73 65 20 72 75 73  TyCtxt};.use rus
0060: 74 63 3a 3a 74 79 3a 3a 52 65 67 69 6f 6e 56 69  tc::ty::RegionVi
0070: 64 3b 0a 0a 75 73 65 20 72 75 73 74 63 5f 69 6e  d;..use rustc_in
0080: 64 65 78 3a 3a 62 69 74 5f 73 65 74 3a 3a 42 69  dex::bit_set::Bi
0090: 74 53 65 74 3b 0a 75 73 65 20 72 75 73 74 63 5f  tSet;.use rustc_
00a0: 64 61 74 61 5f 73 74 72 75 63 74 75 72 65 73 3a  data_structures:
00b0: 3a 66 78 3a 3a 46 78 48 61 73 68 4d 61 70 3b 0a  :fx::FxHashMap;.
00c0: 75 73 65 20 72 75 73 74 63 5f 69 6e 64 65 78 3a  use rustc_index:
00d0: 3a 76 65 63 3a 3a 7b 49 64 78 2c 20 49 6e 64 65  :vec::{Idx, Inde
00e0: 78 56 65 63 7d 3b 0a 0a 75 73 65 20 63 72 61 74  xVec};..use crat
00f0: 65 3a 3a 62 6f 72 72 6f 77 5f 63 68 65 63 6b 3a  e::borrow_check:
0100: 3a 7b 0a 20 20 20 20 54 6f 52 65 67 69 6f 6e 56  :{.    ToRegionV
0110: 69 64 2c 20 42 6f 72 72 6f 77 53 65 74 2c 20 42  id, BorrowSet, B
0120: 6f 72 72 6f 77 44 61 74 61 2c 20 52 65 67 69 6f  orrowData, Regio
0130: 6e 49 6e 66 65 72 65 6e 63 65 43 6f 6e 74 65 78  nInferenceContex
0140: 74 2c 20 50 6c 61 63 65 45 78 74 2c 20 50 6c 61  t, PlaceExt, Pla
0150: 63 65 43 6f 6e 66 6c 69 63 74 42 69 61 73 2c 0a  ceConflictBias,.
0160: 20 20 20 20 70 6c 61 63 65 73 5f 63 6f 6e 66 6c      places_confl
0170: 69 63 74 2c 0a 7d 3b 0a 75 73 65 20 63 72 61 74  ict,.};.use crat
0180: 65 3a 3a 64 61 74 61 66 6c 6f 77 3a 3a 7b 42 69  e::dataflow::{Bi
0190: 74 44 65 6e 6f 74 61 74 69 6f 6e 2c 20 42 6f 74  tDenotation, Bot
01a0: 74 6f 6d 56 61 6c 75 65 2c 20 47 65 6e 4b 69 6c  tomValue, GenKil
01b0: 6c 53 65 74 7d 3b 0a 0a 75 73 65 20 73 74 64 3a  lSet};..use std:
01c0: 3a 72 63 3a 3a 52 63 3b 0a 0a 72 75 73 74 63 5f  :rc::Rc;..rustc_
01d0: 69 6e 64 65 78 3a 3a 6e 65 77 74 79 70 65 5f 69  index::newtype_i
01e0: 6e 64 65 78 21 20 7b 0a 20 20 20 20 70 75 62 20  ndex! {.    pub 
01f0: 73 74 72 75 63 74 20 42 6f 72 72 6f 77 49 6e 64  struct BorrowInd
0200: 65 78 20 7b 0a 20 20 20 20 20 20 20 20 44 45 42  ex {.        DEB
0210: 55 47 5f 46 4f 52 4d 41 54 20 3d 20 22 62 77 7b  UG_FORMAT = "bw{
0220: 7d 22 0a 20 20 20 20 7d 0a 7d 0a 0a 2f 2f 2f 20  }".    }.}../// 
0230: 60 42 6f 72 72 6f 77 73 60 20 73 74 6f 72 65 73  `Borrows` stores
0240: 20 74 68 65 20 64 61 74 61 20 75 73 65 64 20 69   the data used i
0250: 6e 20 74 68 65 20 61 6e 61 6c 79 73 65 73 20 74  n the analyses t
0260: 68 61 74 20 74 72 61 63 6b 20 74 68 65 20 66 6c  hat track the fl
0270: 6f 77 0a 2f 2f 2f 20 6f 66 20 62 6f 72 72 6f 77  ow./// of borrow
0280: 73 2e 0a 2f 2f 2f 0a 2f 2f 2f 20 49 74 20 75 6e  s..///./// It un
0290: 69 71 75 65 6c 79 20 69 64 65 6e 74 69 66 69 65  iquely identifie
02a0: 73 20 65 76 65 72 79 20 62 6f 72 72 6f 77 20 28  s every borrow (
02b0: 60 52 76 61 6c 75 65 3a 3a 52 65 66 60 29 20 62  `Rvalue::Ref`) b
02c0: 79 20 61 0a 2f 2f 2f 20 60 42 6f 72 72 6f 77 49  y a./// `BorrowI
02d0: 6e 64 65 78 60 2c 20 61 6e 64 20 6d 61 70 73 20  ndex`, and maps 
02e0: 65 61 63 68 20 73 75 63 68 20 69 6e 64 65 78 20  each such index 
02f0: 74 6f 20 61 20 60 42 6f 72 72 6f 77 44 61 74 61  to a `BorrowData
0300: 60 0a 2f 2f 2f 20 64 65 73 63 72 69 62 69 6e 67  `./// describing
0310: 20 74 68 65 20 62 6f 72 72 6f 77 2e 20 54 68 65   the borrow. The
0320: 73 65 20 69 6e 64 65 78 65 73 20 61 72 65 20 75  se indexes are u
0330: 73 65 64 20 66 6f 72 20 72 65 70 72 65 73 65 6e  sed for represen
0340: 74 69 6e 67 20 74 68 65 0a 2f 2f 2f 20 62 6f 72  ting the./// bor
0350: 72 6f 77 73 20 69 6e 20 63 6f 6d 70 61 63 74 20  rows in compact 
0360: 62 69 74 76 65 63 74 6f 72 73 2e 0a 70 75 62 20  bitvectors..pub 
0370: 73 74 72 75 63 74 20 42 6f 72 72 6f 77 73 3c 27  struct Borrows<'
0380: 61 2c 20 27 74 63 78 3e 20 7b 0a 20 20 20 20 74  a, 'tcx> {.    t
0390: 63 78 3a 20 54 79 43 74 78 74 3c 27 74 63 78 3e  cx: TyCtxt<'tcx>
03a0: 2c 0a 20 20 20 20 62 6f 64 79 3a 20 26 27 61 20  ,.    body: &'a 
03b0: 42 6f 64 79 3c 27 74 63 78 3e 2c 0a 20 20 20 20  Body<'tcx>,.    
03c0: 70 61 72 61 6d 5f 65 6e 76 3a 20 74 79 3a 3a 50  param_env: ty::P
03d0: 61 72 61 6d 45 6e 76 3c 27 74 63 78 3e 2c 0a 0a  aramEnv<'tcx>,..
03e0: 20 20 20 20 62 6f 72 72 6f 77 5f 73 65 74 3a 20      borrow_set: 
03f0: 52 63 3c 42 6f 72 72 6f 77 53 65 74 3c 27 74 63  Rc<BorrowSet<'tc
0400: 78 3e 3e 2c 0a 20 20 20 20 62 6f 72 72 6f 77 73  x>>,.    borrows
0410: 5f 6f 75 74 5f 6f 66 5f 73 63 6f 70 65 5f 61 74  _out_of_scope_at
0420: 5f 6c 6f 63 61 74 69 6f 6e 3a 20 46 78 48 61 73  _location: FxHas
0430: 68 4d 61 70 3c 4c 6f 63 61 74 69 6f 6e 2c 20 56  hMap<Location, V
0440: 65 63 3c 42 6f 72 72 6f 77 49 6e 64 65 78 3e 3e  ec<BorrowIndex>>
0450: 2c 0a 0a 20 20 20 20 2f 2f 2f 20 4e 4c 4c 20 72  ,..    /// NLL r
0460: 65 67 69 6f 6e 20 69 6e 66 65 72 65 6e 63 65 20  egion inference 
0470: 63 6f 6e 74 65 78 74 20 77 69 74 68 20 77 68 69  context with whi
0480: 63 68 20 4e 4c 4c 20 71 75 65 72 69 65 73 20 73  ch NLL queries s
0490: 68 6f 75 6c 64 20 62 65 20 72 65 73 6f 6c 76 65  hould be resolve
04a0: 64 0a 20 20 20 20 5f 6e 6f 6e 6c 65 78 69 63 61  d.    _nonlexica
04b0: 6c 5f 72 65 67 69 6f 6e 63 78 3a 20 52 63 3c 52  l_regioncx: Rc<R
04c0: 65 67 69 6f 6e 49 6e 66 65 72 65 6e 63 65 43 6f  egionInferenceCo
04d0: 6e 74 65 78 74 3c 27 74 63 78 3e 3e 2c 0a 7d 0a  ntext<'tcx>>,.}.
04e0: 0a 73 74 72 75 63 74 20 53 74 61 63 6b 45 6e 74  .struct StackEnt
04f0: 72 79 20 7b 0a 20 20 20 20 62 62 3a 20 6d 69 72  ry {.    bb: mir
0500: 3a 3a 42 61 73 69 63 42 6c 6f 63 6b 2c 0a 20 20  ::BasicBlock,.  
0510: 20 20 6c 6f 3a 20 75 73 69 7a 65 2c 0a 20 20 20    lo: usize,.   
0520: 20 68 69 3a 20 75 73 69 7a 65 2c 0a 20 20 20 20   hi: usize,.    
0530: 66 69 72 73 74 5f 70 61 72 74 5f 6f 6e 6c 79 3a  first_part_only:
0540: 20 62 6f 6f 6c 0a 7d 0a 0a 66 6e 20 70 72 65 63   bool.}..fn prec
0550: 6f 6d 70 75 74 65 5f 62 6f 72 72 6f 77 73 5f 6f  ompute_borrows_o
0560: 75 74 5f 6f 66 5f 73 63 6f 70 65 3c 27 74 63 78  ut_of_scope<'tcx
0570: 3e 28 0a 20 20 20 20 62 6f 64 79 3a 20 26 42 6f  >(.    body: &Bo
0580: 64 79 3c 27 74 63 78 3e 2c 0a 20 20 20 20 72 65  dy<'tcx>,.    re
0590: 67 69 6f 6e 63 78 3a 20 26 52 63 3c 52 65 67 69  gioncx: &Rc<Regi
05a0: 6f 6e 49 6e 66 65 72 65 6e 63 65 43 6f 6e 74 65  onInferenceConte
05b0: 78 74 3c 27 74 63 78 3e 3e 2c 0a 20 20 20 20 62  xt<'tcx>>,.    b
05c0: 6f 72 72 6f 77 73 5f 6f 75 74 5f 6f 66 5f 73 63  orrows_out_of_sc
05d0: 6f 70 65 5f 61 74 5f 6c 6f 63 61 74 69 6f 6e 3a  ope_at_location:
05e0: 20 26 6d 75 74 20 46 78 48 61 73 68 4d 61 70 3c   &mut FxHashMap<
05f0: 4c 6f 63 61 74 69 6f 6e 2c 20 56 65 63 3c 42 6f  Location, Vec<Bo
0600: 72 72 6f 77 49 6e 64 65 78 3e 3e 2c 0a 20 20 20  rrowIndex>>,.   
0610: 20 62 6f 72 72 6f 77 5f 69 6e 64 65 78 3a 20 42   borrow_index: B
0620: 6f 72 72 6f 77 49 6e 64 65 78 2c 0a 20 20 20 20  orrowIndex,.    
0630: 62 6f 72 72 6f 77 5f 72 65 67 69 6f 6e 3a 20 52  borrow_region: R
0640: 65 67 69 6f 6e 56 69 64 2c 0a 20 20 20 20 6c 6f  egionVid,.    lo
0650: 63 61 74 69 6f 6e 3a 20 4c 6f 63 61 74 69 6f 6e  cation: Location
0660: 2c 0a 29 20 7b 0a 20 20 20 20 2f 2f 20 57 65 20  ,.) {.    // We 
0670: 76 69 73 69 74 20 6f 6e 65 20 42 42 20 61 74 20  visit one BB at 
0680: 61 20 74 69 6d 65 2e 20 54 68 65 20 63 6f 6d 70  a time. The comp
0690: 6c 69 63 61 74 69 6f 6e 20 69 73 20 74 68 61 74  lication is that
06a0: 20 77 65 20 6d 61 79 20 73 74 61 72 74 20 69 6e   we may start in
06b0: 20 74 68 65 0a 20 20 20 20 2f 2f 20 6d 69 64 64   the.    // midd
06c0: 6c 65 20 6f 66 20 74 68 65 20 66 69 72 73 74 20  le of the first 
06d0: 42 42 20 76 69 73 69 74 65 64 20 28 74 68 65 20  BB visited (the 
06e0: 6f 6e 65 20 63 6f 6e 74 61 69 6e 69 6e 67 20 60  one containing `
06f0: 6c 6f 63 61 74 69 6f 6e 60 29 2c 20 69 6e 20 77  location`), in w
0700: 68 69 63 68 0a 20 20 20 20 2f 2f 20 63 61 73 65  hich.    // case
0710: 20 77 65 20 6d 61 79 20 68 61 76 65 20 74 6f 20   we may have to 
0720: 6c 61 74 65 72 20 6f 6e 20 70 72 6f 63 65 73 73  later on process
0730: 20 74 68 65 20 66 69 72 73 74 20 70 61 72 74 20   the first part 
0740: 6f 66 20 74 68 61 74 20 42 42 20 69 66 20 74 68  of that BB if th
0750: 65 72 65 0a 20 20 20 20 2f 2f 20 69 73 20 61 20  ere.    // is a 
0760: 70 61 74 68 20 62 61 63 6b 20 74 6f 20 69 74 73  path back to its
0770: 20 73 74 61 72 74 2e 0a 0a 20 20 20 20 2f 2f 20   start...    // 
0780: 46 6f 72 20 76 69 73 69 74 65 64 20 42 42 73 2c  For visited BBs,
0790: 20 77 65 20 72 65 63 6f 72 64 20 74 68 65 20 69   we record the i
07a0: 6e 64 65 78 20 6f 66 20 74 68 65 20 66 69 72 73  ndex of the firs
07b0: 74 20 73 74 61 74 65 6d 65 6e 74 20 70 72 6f 63  t statement proc
07c0: 65 73 73 65 64 2e 0a 20 20 20 20 2f 2f 20 28 49  essed..    // (I
07d0: 6e 20 66 75 6c 6c 79 20 70 72 6f 63 65 73 73 65  n fully processe
07e0: 64 20 42 42 73 20 74 68 69 73 20 69 6e 64 65 78  d BBs this index
07f0: 20 69 73 20 30 2e 29 20 4e 6f 74 65 20 61 6c 73   is 0.) Note als
0800: 6f 20 74 68 61 74 20 77 65 20 61 64 64 20 42 42  o that we add BB
0810: 73 20 74 6f 0a 20 20 20 20 2f 2f 20 60 76 69 73  s to.    // `vis
0820: 69 74 65 64 60 20 6f 6e 63 65 20 74 68 65 79 20  ited` once they 
0830: 61 72 65 20 61 64 64 65 64 20 74 6f 20 60 73 74  are added to `st
0840: 61 63 6b 60 2c 20 62 65 66 6f 72 65 20 74 68 65  ack`, before the
0850: 79 20 61 72 65 20 61 63 74 75 61 6c 6c 79 0a 20  y are actually. 
0860: 20 20 20 2f 2f 20 70 72 6f 63 65 73 73 65 64 2c     // processed,
0870: 20 62 65 63 61 75 73 65 20 74 68 69 73 20 61 76   because this av
0880: 6f 69 64 73 20 74 68 65 20 6e 65 65 64 20 74 6f  oids the need to
0890: 20 6c 6f 6f 6b 20 74 68 65 6d 20 75 70 20 61 67   look them up ag
08a0: 61 69 6e 20 6f 6e 0a 20 20 20 20 2f 2f 20 63 6f  ain on.    // co
08b0: 6d 70 6c 65 74 69 6f 6e 2e 0a 20 20 20 20 6c 65  mpletion..    le
08c0: 74 20 6d 75 74 20 76 69 73 69 74 65 64 20 3d 20  t mut visited = 
08d0: 46 78 48 61 73 68 4d 61 70 3a 3a 64 65 66 61 75  FxHashMap::defau
08e0: 6c 74 28 29 3b 0a 20 20 20 20 76 69 73 69 74 65  lt();.    visite
08f0: 64 2e 69 6e 73 65 72 74 28 6c 6f 63 61 74 69 6f  d.insert(locatio
0900: 6e 2e 62 6c 6f 63 6b 2c 20 6c 6f 63 61 74 69 6f  n.block, locatio
0910: 6e 2e 73 74 61 74 65 6d 65 6e 74 5f 69 6e 64 65  n.statement_inde
0920: 78 29 3b 0a 0a 20 20 20 20 6c 65 74 20 6d 75 74  x);..    let mut
0930: 20 73 74 61 63 6b 20 3d 20 76 65 63 21 5b 5d 3b   stack = vec![];
0940: 0a 20 20 20 20 73 74 61 63 6b 2e 70 75 73 68 28  .    stack.push(
0950: 53 74 61 63 6b 45 6e 74 72 79 20 7b 0a 20 20 20  StackEntry {.   
0960: 20 20 20 20 20 62 62 3a 20 6c 6f 63 61 74 69 6f       bb: locatio
0970: 6e 2e 62 6c 6f 63 6b 2c 0a 20 20 20 20 20 20 20  n.block,.       
0980: 20 6c 6f 3a 20 6c 6f 63 61 74 69 6f 6e 2e 73 74   lo: location.st
0990: 61 74 65 6d 65 6e 74 5f 69 6e 64 65 78 2c 0a 20  atement_index,. 
09a0: 20 20 20 20 20 20 20 68 69 3a 20 62 6f 64 79 5b         hi: body[
09b0: 6c 6f 63 61 74 69 6f 6e 2e 62 6c 6f 63 6b 5d 2e  location.block].
09c0: 73 74 61 74 65 6d 65 6e 74 73 2e 6c 65 6e 28 29  statements.len()
09d0: 2c 0a 20 20 20 20 20 20 20 20 66 69 72 73 74 5f  ,.        first_
09e0: 70 61 72 74 5f 6f 6e 6c 79 3a 20 66 61 6c 73 65  part_only: false
09f0: 2c 0a 20 20 20 20 7d 29 3b 0a 0a 20 20 20 20 77  ,.    });..    w
0a00: 68 69 6c 65 20 6c 65 74 20 53 6f 6d 65 28 53 74  hile let Some(St
0a10: 61 63 6b 45 6e 74 72 79 20 7b 20 62 62 2c 20 6c  ackEntry { bb, l
0a20: 6f 2c 20 68 69 2c 20 66 69 72 73 74 5f 70 61 72  o, hi, first_par
0a30: 74 5f 6f 6e 6c 79 20 7d 29 20 3d 20 73 74 61 63  t_only }) = stac
0a40: 6b 2e 70 6f 70 28 29 20 7b 0a 20 20 20 20 20 20  k.pop() {.      
0a50: 20 20 6c 65 74 20 6d 75 74 20 66 69 6e 69 73 68    let mut finish
0a60: 65 64 5f 65 61 72 6c 79 20 3d 20 66 69 72 73 74  ed_early = first
0a70: 5f 70 61 72 74 5f 6f 6e 6c 79 3b 0a 20 20 20 20  _part_only;.    
0a80: 20 20 20 20 66 6f 72 20 69 20 69 6e 20 6c 6f 20      for i in lo 
0a90: 2e 2e 3d 20 68 69 20 7b 0a 20 20 20 20 20 20 20  ..= hi {.       
0aa0: 20 20 20 20 20 6c 65 74 20 6c 6f 63 61 74 69 6f       let locatio
0ab0: 6e 20 3d 20 4c 6f 63 61 74 69 6f 6e 20 7b 20 62  n = Location { b
0ac0: 6c 6f 63 6b 3a 20 62 62 2c 20 73 74 61 74 65 6d  lock: bb, statem
0ad0: 65 6e 74 5f 69 6e 64 65 78 3a 20 69 20 7d 3b 0a  ent_index: i };.
0ae0: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2f 20 49              // I
0af0: 66 20 72 65 67 69 6f 6e 20 64 6f 65 73 20 6e 6f  f region does no
0b00: 74 20 63 6f 6e 74 61 69 6e 20 61 20 70 6f 69 6e  t contain a poin
0b10: 74 20 61 74 20 74 68 65 20 6c 6f 63 61 74 69 6f  t at the locatio
0b20: 6e 2c 20 74 68 65 6e 20 61 64 64 20 74 6f 20 6c  n, then add to l
0b30: 69 73 74 20 61 6e 64 20 73 6b 69 70 0a 20 20 20  ist and skip.   
0b40: 20 20 20 20 20 20 20 20 20 2f 2f 20 73 75 63 63           // succ
0b50: 65 73 73 6f 72 20 6c 6f 63 61 74 69 6f 6e 73 2e  essor locations.
0b60: 0a 20 20 20 20 20 20 20 20 20 20 20 20 69 66 20  .            if 
0b70: 21 72 65 67 69 6f 6e 63 78 2e 72 65 67 69 6f 6e  !regioncx.region
0b80: 5f 63 6f 6e 74 61 69 6e 73 28 62 6f 72 72 6f 77  _contains(borrow
0b90: 5f 72 65 67 69 6f 6e 2c 20 6c 6f 63 61 74 69 6f  _region, locatio
0ba0: 6e 29 20 7b 0a 20 20 20 20 20 20 20 20 20 20 20  n) {.           
0bb0: 20 20 20 20 20 64 65 62 75 67 21 28 22 62 6f 72       debug!("bor
0bc0: 72 6f 77 20 7b 3a 3f 7d 20 67 65 74 73 20 6b 69  row {:?} gets ki
0bd0: 6c 6c 65 64 20 61 74 20 7b 3a 3f 7d 22 2c 20 62  lled at {:?}", b
0be0: 6f 72 72 6f 77 5f 69 6e 64 65 78 2c 20 6c 6f 63  orrow_index, loc
0bf0: 61 74 69 6f 6e 29 3b 0a 20 20 20 20 20 20 20 20  ation);.        
0c00: 20 20 20 20 20 20 20 20 62 6f 72 72 6f 77 73 5f          borrows_
0c10: 6f 75 74 5f 6f 66 5f 73 63 6f 70 65 5f 61 74 5f  out_of_scope_at_
0c20: 6c 6f 63 61 74 69 6f 6e 0a 20 20 20 20 20 20 20  location.       
0c30: 20 20 20 20 20 20 20 20 20 20 20 20 20 2e 65 6e               .en
0c40: 74 72 79 28 6c 6f 63 61 74 69 6f 6e 29 0a 20 20  try(location).  
0c50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0c60: 20 20 2e 6f 72 5f 64 65 66 61 75 6c 74 28 29 0a    .or_default().
0c70: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0c80: 20 20 20 20 2e 70 75 73 68 28 62 6f 72 72 6f 77      .push(borrow
0c90: 5f 69 6e 64 65 78 29 3b 0a 20 20 20 20 20 20 20  _index);.       
0ca0: 20 20 20 20 20 20 20 20 20 66 69 6e 69 73 68 65           finishe
0cb0: 64 5f 65 61 72 6c 79 20 3d 20 74 72 75 65 3b 0a  d_early = true;.
0cc0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0cd0: 62 72 65 61 6b 3b 0a 20 20 20 20 20 20 20 20 20  break;.         
0ce0: 20 20 20 7d 0a 20 20 20 20 20 20 20 20 7d 0a 0a     }.        }..
0cf0: 20 20 20 20 20 20 20 20 69 66 20 21 66 69 6e 69          if !fini
0d00: 73 68 65 64 5f 65 61 72 6c 79 20 7b 0a 20 20 20  shed_early {.   
0d10: 20 20 20 20 20 20 20 20 20 2f 2f 20 41 64 64 20           // Add 
0d20: 73 75 63 63 65 73 73 6f 72 20 42 42 73 20 74 6f  successor BBs to
0d30: 20 74 68 65 20 77 6f 72 6b 20 6c 69 73 74 2c 20   the work list, 
0d40: 69 66 20 6e 65 63 65 73 73 61 72 79 2e 0a 20 20  if necessary..  
0d50: 20 20 20 20 20 20 20 20 20 20 6c 65 74 20 62 62            let bb
0d60: 5f 64 61 74 61 20 3d 20 26 62 6f 64 79 5b 62 62  _data = &body[bb
0d70: 5d 3b 0a 20 20 20 20 20 20 20 20 20 20 20 20 61  ];.            a
0d80: 73 73 65 72 74 21 28 68 69 20 3d 3d 20 62 62 5f  ssert!(hi == bb_
0d90: 64 61 74 61 2e 73 74 61 74 65 6d 65 6e 74 73 2e  data.statements.
0da0: 6c 65 6e 28 29 29 3b 0a 20 20 20 20 20 20 20 20  len());.        
0db0: 20 20 20 20 66 6f 72 20 26 73 75 63 63 5f 62 62      for &succ_bb
0dc0: 20 69 6e 20 62 62 5f 64 61 74 61 2e 74 65 72 6d   in bb_data.term
0dd0: 69 6e 61 74 6f 72 28 29 2e 73 75 63 63 65 73 73  inator().success
0de0: 6f 72 73 28 29 20 7b 0a 20 20 20 20 20 20 20 20  ors() {.        
0df0: 20 20 20 20 20 20 20 20 76 69 73 69 74 65 64 2e          visited.
0e00: 65 6e 74 72 79 28 73 75 63 63 5f 62 62 29 0a 20  entry(succ_bb). 
0e10: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0e20: 20 20 20 2e 61 6e 64 5f 6d 6f 64 69 66 79 28 7c     .and_modify(|
0e30: 6c 6f 7c 20 7b 0a 20 20 20 20 20 20 20 20 20 20  lo| {.          
0e40: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2f                //
0e50: 20 60 73 75 63 63 5f 62 62 60 20 68 61 73 20 62   `succ_bb` has b
0e60: 65 65 6e 20 73 65 65 6e 20 62 65 66 6f 72 65 2e  een seen before.
0e70: 20 49 66 20 69 74 20 77 61 73 6e 27 74 0a 20 20   If it wasn't.  
0e80: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0e90: 20 20 20 20 20 20 2f 2f 20 66 75 6c 6c 79 20 70        // fully p
0ea0: 72 6f 63 65 73 73 65 64 2c 20 61 64 64 20 69 74  rocessed, add it
0eb0: 73 20 66 69 72 73 74 20 70 61 72 74 20 74 6f 20  s first part to 
0ec0: 60 73 74 61 63 6b 60 0a 20 20 20 20 20 20 20 20  `stack`.        
0ed0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0ee0: 2f 2f 20 66 6f 72 20 70 72 6f 63 65 73 73 69 6e  // for processin
0ef0: 67 2e 0a 20 20 20 20 20 20 20 20 20 20 20 20 20  g..             
0f00: 20 20 20 20 20 20 20 20 20 20 20 69 66 20 2a 6c             if *l
0f10: 6f 20 3e 20 30 20 7b 0a 20 20 20 20 20 20 20 20  o > 0 {.        
0f20: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0f30: 20 20 20 20 73 74 61 63 6b 2e 70 75 73 68 28 53      stack.push(S
0f40: 74 61 63 6b 45 6e 74 72 79 20 7b 0a 20 20 20 20  tackEntry {.    
0f50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0f60: 20 20 20 20 20 20 20 20 20 20 20 20 62 62 3a 20              bb: 
0f70: 73 75 63 63 5f 62 62 2c 0a 20 20 20 20 20 20 20  succ_bb,.       
0f80: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0f90: 20 20 20 20 20 20 20 20 20 6c 6f 3a 20 30 2c 0a           lo: 0,.
0fa0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0fb0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0fc0: 68 69 3a 20 2a 6c 6f 20 2d 20 31 2c 0a 20 20 20  hi: *lo - 1,.   
0fd0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0fe0: 20 20 20 20 20 20 20 20 20 20 20 20 20 66 69 72               fir
0ff0: 73 74 5f 70 61 72 74 5f 6f 6e 6c 79 3a 20 74 72  st_part_only: tr
1000: 75 65 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20  ue,.            
1010: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1020: 7d 29 3b 0a 20 20 20 20 20 20 20 20 20 20 20 20  });.            
1030: 20 20 20 20 20 20 20 20 20 20 20 20 7d 0a 20 20              }.  
1040: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1050: 20 20 20 20 20 20 2f 2f 20 41 6e 64 20 75 70 64        // And upd
1060: 61 74 65 20 74 68 69 73 20 65 6e 74 72 79 20 77  ate this entry w
1070: 69 74 68 20 30 2c 20 74 6f 20 72 65 70 72 65 73  ith 0, to repres
1080: 65 6e 74 20 74 68 65 0a 20 20 20 20 20 20 20 20  ent the.        
1090: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
10a0: 2f 2f 20 77 68 6f 6c 65 20 42 42 20 62 65 69 6e  // whole BB bein
10b0: 67 20 70 72 6f 63 65 73 73 65 64 2e 0a 20 20 20  g processed..   
10c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
10d0: 20 20 20 20 20 2a 6c 6f 20 3d 20 30 3b 0a 20 20       *lo = 0;.  
10e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
10f0: 20 20 7d 29 0a 20 20 20 20 20 20 20 20 20 20 20    }).           
1100: 20 20 20 20 20 20 20 20 20 2e 6f 72 5f 69 6e 73           .or_ins
1110: 65 72 74 5f 77 69 74 68 28 7c 7c 20 7b 0a 20 20  ert_with(|| {.  
1120: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1130: 20 20 20 20 20 20 2f 2f 20 73 75 63 63 5f 62 62        // succ_bb
1140: 20 68 61 73 6e 27 74 20 62 65 65 6e 20 73 65 65   hasn't been see
1150: 6e 20 62 65 66 6f 72 65 2e 20 41 64 64 20 69 74  n before. Add it
1160: 20 74 6f 0a 20 20 20 20 20 20 20 20 20 20 20 20   to.            
1170: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2f 20 60              // `
1180: 73 74 61 63 6b 60 20 66 6f 72 20 70 72 6f 63 65  stack` for proce
1190: 73 73 69 6e 67 2e 0a 20 20 20 20 20 20 20 20 20  ssing..         
11a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 73                 s
11b0: 74 61 63 6b 2e 70 75 73 68 28 53 74 61 63 6b 45  tack.push(StackE
11c0: 6e 74 72 79 20 7b 0a 20 20 20 20 20 20 20 20 20  ntry {.         
11d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
11e0: 20 20 20 62 62 3a 20 73 75 63 63 5f 62 62 2c 0a     bb: succ_bb,.
11f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1200: 20 20 20 20 20 20 20 20 20 20 20 20 6c 6f 3a 20              lo: 
1210: 30 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20  0,.             
1220: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 68                 h
1230: 69 3a 20 62 6f 64 79 5b 73 75 63 63 5f 62 62 5d  i: body[succ_bb]
1240: 2e 73 74 61 74 65 6d 65 6e 74 73 2e 6c 65 6e 28  .statements.len(
1250: 29 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20  ),.             
1260: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 66                 f
1270: 69 72 73 74 5f 70 61 72 74 5f 6f 6e 6c 79 3a 20  irst_part_only: 
1280: 66 61 6c 73 65 2c 0a 20 20 20 20 20 20 20 20 20  false,.         
1290: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7d                 }
12a0: 29 3b 0a 20 20 20 20 20 20 20 20 20 20 20 20 20  );.             
12b0: 20 20 20 20 20 20 20 20 20 20 20 2f 2f 20 49 6e             // In
12c0: 73 65 72 74 20 30 20 66 6f 72 20 74 68 69 73 20  sert 0 for this 
12d0: 42 42 2c 20 74 6f 20 72 65 70 72 65 73 65 6e 74  BB, to represent
12e0: 20 74 68 65 20 77 68 6f 6c 65 20 42 42 0a 20 20   the whole BB.  
12f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1300: 20 20 20 20 20 20 2f 2f 20 62 65 69 6e 67 20 70        // being p
1310: 72 6f 63 65 73 73 65 64 2e 0a 20 20 20 20 20 20  rocessed..      
1320: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1330: 20 20 30 0a 20 20 20 20 20 20 20 20 20 20 20 20    0.            
1340: 20 20 20 20 20 20 20 20 7d 29 3b 0a 20 20 20 20          });.    
1350: 20 20 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20          }.      
1360: 20 20 7d 0a 20 20 20 20 7d 0a 7d 0a 0a 69 6d 70    }.    }.}..imp
1370: 6c 3c 27 61 2c 20 27 74 63 78 3e 20 42 6f 72 72  l<'a, 'tcx> Borr
1380: 6f 77 73 3c 27 61 2c 20 27 74 63 78 3e 20 7b 0a  ows<'a, 'tcx> {.
1390: 20 20 20 20 63 72 61 74 65 20 66 6e 20 6e 65 77      crate fn new
13a0: 28 0a 20 20 20 20 20 20 20 20 74 63 78 3a 20 54  (.        tcx: T
13b0: 79 43 74 78 74 3c 27 74 63 78 3e 2c 0a 20 20 20  yCtxt<'tcx>,.   
13c0: 20 20 20 20 20 62 6f 64 79 3a 20 26 27 61 20 42       body: &'a B
13d0: 6f 64 79 3c 27 74 63 78 3e 2c 0a 20 20 20 20 20  ody<'tcx>,.     
13e0: 20 20 20 70 61 72 61 6d 5f 65 6e 76 3a 20 74 79     param_env: ty
13f0: 3a 3a 50 61 72 61 6d 45 6e 76 3c 27 74 63 78 3e  ::ParamEnv<'tcx>
1400: 2c 0a 20 20 20 20 20 20 20 20 6e 6f 6e 6c 65 78  ,.        nonlex
1410: 69 63 61 6c 5f 72 65 67 69 6f 6e 63 78 3a 20 52  ical_regioncx: R
1420: 63 3c 52 65 67 69 6f 6e 49 6e 66 65 72 65 6e 63  c<RegionInferenc
1430: 65 43 6f 6e 74 65 78 74 3c 27 74 63 78 3e 3e 2c  eContext<'tcx>>,
1440: 0a 20 20 20 20 20 20 20 20 62 6f 72 72 6f 77 5f  .        borrow_
1450: 73 65 74 3a 20 26 52 63 3c 42 6f 72 72 6f 77 53  set: &Rc<BorrowS
1460: 65 74 3c 27 74 63 78 3e 3e 2c 0a 20 20 20 20 29  et<'tcx>>,.    )
1470: 20 2d 3e 20 53 65 6c 66 20 7b 0a 20 20 20 20 20   -> Self {.     
1480: 20 20 20 6c 65 74 20 6d 75 74 20 62 6f 72 72 6f     let mut borro
1490: 77 73 5f 6f 75 74 5f 6f 66 5f 73 63 6f 70 65 5f  ws_out_of_scope_
14a0: 61 74 5f 6c 6f 63 61 74 69 6f 6e 20 3d 20 46 78  at_location = Fx
14b0: 48 61 73 68 4d 61 70 3a 3a 64 65 66 61 75 6c 74  HashMap::default
14c0: 28 29 3b 0a 20 20 20 20 20 20 20 20 66 6f 72 20  ();.        for 
14d0: 28 62 6f 72 72 6f 77 5f 69 6e 64 65 78 2c 20 62  (borrow_index, b
14e0: 6f 72 72 6f 77 5f 64 61 74 61 29 20 69 6e 20 62  orrow_data) in b
14f0: 6f 72 72 6f 77 5f 73 65 74 2e 62 6f 72 72 6f 77  orrow_set.borrow
1500: 73 2e 69 74 65 72 5f 65 6e 75 6d 65 72 61 74 65  s.iter_enumerate
1510: 64 28 29 20 7b 0a 20 20 20 20 20 20 20 20 20 20  d() {.          
1520: 20 20 6c 65 74 20 62 6f 72 72 6f 77 5f 72 65 67    let borrow_reg
1530: 69 6f 6e 20 3d 20 62 6f 72 72 6f 77 5f 64 61 74  ion = borrow_dat
1540: 61 2e 72 65 67 69 6f 6e 2e 74 6f 5f 72 65 67 69  a.region.to_regi
1550: 6f 6e 5f 76 69 64 28 29 3b 0a 20 20 20 20 20 20  on_vid();.      
1560: 20 20 20 20 20 20 6c 65 74 20 6c 6f 63 61 74 69        let locati
1570: 6f 6e 20 3d 20 62 6f 72 72 6f 77 5f 73 65 74 2e  on = borrow_set.
1580: 62 6f 72 72 6f 77 73 5b 62 6f 72 72 6f 77 5f 69  borrows[borrow_i
1590: 6e 64 65 78 5d 2e 72 65 73 65 72 76 65 5f 6c 6f  ndex].reserve_lo
15a0: 63 61 74 69 6f 6e 3b 0a 0a 20 20 20 20 20 20 20  cation;..       
15b0: 20 20 20 20 20 70 72 65 63 6f 6d 70 75 74 65 5f       precompute_
15c0: 62 6f 72 72 6f 77 73 5f 6f 75 74 5f 6f 66 5f 73  borrows_out_of_s
15d0: 63 6f 70 65 28 62 6f 64 79 2c 20 26 6e 6f 6e 6c  cope(body, &nonl
15e0: 65 78 69 63 61 6c 5f 72 65 67 69 6f 6e 63 78 2c  exical_regioncx,
15f0: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  .               
1600: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1610: 20 20 20 20 20 20 20 20 20 20 20 20 20 26 6d 75               &mu
1620: 74 20 62 6f 72 72 6f 77 73 5f 6f 75 74 5f 6f 66  t borrows_out_of
1630: 5f 73 63 6f 70 65 5f 61 74 5f 6c 6f 63 61 74 69  _scope_at_locati
1640: 6f 6e 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20  on,.            
1650: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1660: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1670: 62 6f 72 72 6f 77 5f 69 6e 64 65 78 2c 20 62 6f  borrow_index, bo
1680: 72 72 6f 77 5f 72 65 67 69 6f 6e 2c 20 6c 6f 63  rrow_region, loc
1690: 61 74 69 6f 6e 29 3b 0a 20 20 20 20 20 20 20 20  ation);.        
16a0: 7d 0a 0a 20 20 20 20 20 20 20 20 42 6f 72 72 6f  }..        Borro
16b0: 77 73 20 7b 0a 20 20 20 20 20 20 20 20 20 20 20  ws {.           
16c0: 20 74 63 78 2c 0a 20 20 20 20 20 20 20 20 20 20   tcx,.          
16d0: 20 20 62 6f 64 79 2c 0a 20 20 20 20 20 20 20 20    body,.        
16e0: 20 20 20 20 70 61 72 61 6d 5f 65 6e 76 2c 0a 20      param_env,. 
16f0: 20 20 20 20 20 20 20 20 20 20 20 62 6f 72 72 6f             borro
1700: 77 5f 73 65 74 3a 20 62 6f 72 72 6f 77 5f 73 65  w_set: borrow_se
1710: 74 2e 63 6c 6f 6e 65 28 29 2c 0a 20 20 20 20 20  t.clone(),.     
1720: 20 20 20 20 20 20 20 62 6f 72 72 6f 77 73 5f 6f         borrows_o
1730: 75 74 5f 6f 66 5f 73 63 6f 70 65 5f 61 74 5f 6c  ut_of_scope_at_l
1740: 6f 63 61 74 69 6f 6e 2c 0a 20 20 20 20 20 20 20  ocation,.       
1750: 20 20 20 20 20 5f 6e 6f 6e 6c 65 78 69 63 61 6c       _nonlexical
1760: 5f 72 65 67 69 6f 6e 63 78 3a 20 6e 6f 6e 6c 65  _regioncx: nonle
1770: 78 69 63 61 6c 5f 72 65 67 69 6f 6e 63 78 2c 0a  xical_regioncx,.
1780: 20 20 20 20 20 20 20 20 7d 0a 20 20 20 20 7d 0a          }.    }.
1790: 0a 20 20 20 20 63 72 61 74 65 20 66 6e 20 62 6f  .    crate fn bo
17a0: 72 72 6f 77 73 28 26 73 65 6c 66 29 20 2d 3e 20  rrows(&self) -> 
17b0: 26 49 6e 64 65 78 56 65 63 3c 42 6f 72 72 6f 77  &IndexVec<Borrow
17c0: 49 6e 64 65 78 2c 20 42 6f 72 72 6f 77 44 61 74  Index, BorrowDat
17d0: 61 3c 27 74 63 78 3e 3e 20 7b 20 26 73 65 6c 66  a<'tcx>> { &self
17e0: 2e 62 6f 72 72 6f 77 5f 73 65 74 2e 62 6f 72 72  .borrow_set.borr
17f0: 6f 77 73 20 7d 0a 0a 20 20 20 20 70 75 62 20 66  ows }..    pub f
1800: 6e 20 6c 6f 63 61 74 69 6f 6e 28 26 73 65 6c 66  n location(&self
1810: 2c 20 69 64 78 3a 20 42 6f 72 72 6f 77 49 6e 64  , idx: BorrowInd
1820: 65 78 29 20 2d 3e 20 26 4c 6f 63 61 74 69 6f 6e  ex) -> &Location
1830: 20 7b 0a 20 20 20 20 20 20 20 20 26 73 65 6c 66   {.        &self
1840: 2e 62 6f 72 72 6f 77 5f 73 65 74 2e 62 6f 72 72  .borrow_set.borr
1850: 6f 77 73 5b 69 64 78 5d 2e 72 65 73 65 72 76 65  ows[idx].reserve
1860: 5f 6c 6f 63 61 74 69 6f 6e 0a 20 20 20 20 7d 0a  _location.    }.
1870: 0a 20 20 20 20 2f 2f 2f 20 41 64 64 20 61 6c 6c  .    /// Add all
1880: 20 62 6f 72 72 6f 77 73 20 74 6f 20 74 68 65 20   borrows to the 
1890: 6b 69 6c 6c 20 73 65 74 2c 20 69 66 20 74 68 6f  kill set, if tho
18a0: 73 65 20 62 6f 72 72 6f 77 73 20 61 72 65 20 6f  se borrows are o
18b0: 75 74 20 6f 66 20 73 63 6f 70 65 20 61 74 20 60  ut of scope at `
18c0: 6c 6f 63 61 74 69 6f 6e 60 2e 0a 20 20 20 20 2f  location`..    /
18d0: 2f 2f 20 54 68 61 74 20 6d 65 61 6e 73 20 74 68  // That means th
18e0: 65 79 20 77 65 6e 74 20 6f 75 74 20 6f 66 20 61  ey went out of a
18f0: 20 6e 6f 6e 6c 65 78 69 63 61 6c 20 73 63 6f 70   nonlexical scop
1900: 65 0a 20 20 20 20 66 6e 20 6b 69 6c 6c 5f 6c 6f  e.    fn kill_lo
1910: 61 6e 73 5f 6f 75 74 5f 6f 66 5f 73 63 6f 70 65  ans_out_of_scope
1920: 5f 61 74 5f 6c 6f 63 61 74 69 6f 6e 28 26 73 65  _at_location(&se
1930: 6c 66 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20  lf,.            
1940: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1950: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 74                 t
1960: 72 61 6e 73 3a 20 26 6d 75 74 20 47 65 6e 4b 69  rans: &mut GenKi
1970: 6c 6c 53 65 74 3c 42 6f 72 72 6f 77 49 6e 64 65  llSet<BorrowInde
1980: 78 3e 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20  x>,.            
1990: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
19a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 6c                 l
19b0: 6f 63 61 74 69 6f 6e 3a 20 4c 6f 63 61 74 69 6f  ocation: Locatio
19c0: 6e 29 20 7b 0a 20 20 20 20 20 20 20 20 2f 2f 20  n) {.        // 
19d0: 4e 4f 54 45 3a 20 54 68 65 20 73 74 61 74 65 20  NOTE: The state 
19e0: 61 73 73 6f 63 69 61 74 65 64 20 77 69 74 68 20  associated with 
19f0: 61 20 67 69 76 65 6e 20 60 6c 6f 63 61 74 69 6f  a given `locatio
1a00: 6e 60 0a 20 20 20 20 20 20 20 20 2f 2f 20 72 65  n`.        // re
1a10: 66 6c 65 63 74 73 20 74 68 65 20 64 61 74 61 66  flects the dataf
1a20: 6c 6f 77 20 6f 6e 20 65 6e 74 72 79 20 74 6f 20  low on entry to 
1a30: 74 68 65 20 73 74 61 74 65 6d 65 6e 74 2e 0a 20  the statement.. 
1a40: 20 20 20 20 20 20 20 2f 2f 20 49 74 65 72 61 74         // Iterat
1a50: 65 20 6f 76 65 72 20 65 61 63 68 20 6f 66 20 74  e over each of t
1a60: 68 65 20 62 6f 72 72 6f 77 73 20 74 68 61 74 20  he borrows that 
1a70: 77 65 27 76 65 20 70 72 65 63 6f 6d 70 75 74 65  we've precompute
1a80: 64 0a 20 20 20 20 20 20 20 20 2f 2f 20 74 6f 20  d.        // to 
1a90: 68 61 76 65 20 77 65 6e 74 20 6f 75 74 20 6f 66  have went out of
1aa0: 20 73 63 6f 70 65 20 61 74 20 74 68 69 73 20 6c   scope at this l
1ab0: 6f 63 61 74 69 6f 6e 20 61 6e 64 20 6b 69 6c 6c  ocation and kill
1ac0: 20 74 68 65 6d 2e 0a 20 20 20 20 20 20 20 20 2f   them..        /
1ad0: 2f 0a 20 20 20 20 20 20 20 20 2f 2f 20 57 65 20  /.        // We 
1ae0: 61 72 65 20 63 61 72 65 66 75 6c 20 61 6c 77 61  are careful alwa
1af0: 79 73 20 74 6f 20 63 61 6c 6c 20 74 68 69 73 20  ys to call this 
1b00: 66 75 6e 63 74 69 6f 6e 20 2a 62 65 66 6f 72 65  function *before
1b10: 2a 20 77 65 0a 20 20 20 20 20 20 20 20 2f 2f 20  * we.        // 
1b20: 73 65 74 20 75 70 20 74 68 65 20 67 65 6e 2d 62  set up the gen-b
1b30: 69 74 73 20 66 6f 72 20 74 68 65 20 73 74 61 74  its for the stat
1b40: 65 6d 65 6e 74 20 6f 72 0a 20 20 20 20 20 20 20  ement or.       
1b50: 20 2f 2f 20 74 65 72 6d 61 6e 61 74 6f 72 2e 20   // termanator. 
1b60: 54 68 61 74 20 77 61 79 2c 20 69 66 20 74 68 65  That way, if the
1b70: 20 65 66 66 65 63 74 20 6f 66 20 74 68 65 20 73   effect of the s
1b80: 74 61 74 65 6d 65 6e 74 20 6f 72 0a 20 20 20 20  tatement or.    
1b90: 20 20 20 20 2f 2f 20 74 65 72 6d 69 6e 61 74 6f      // terminato
1ba0: 72 20 2a 64 6f 65 73 2a 20 69 6e 74 72 6f 64 75  r *does* introdu
1bb0: 63 65 20 61 20 6e 65 77 20 6c 6f 61 6e 20 6f 66  ce a new loan of
1bc0: 20 74 68 65 20 73 61 6d 65 0a 20 20 20 20 20 20   the same.      
1bd0: 20 20 2f 2f 20 72 65 67 69 6f 6e 2c 20 74 68 65    // region, the
1be0: 6e 20 73 65 74 74 69 6e 67 20 74 68 61 74 20 67  n setting that g
1bf0: 65 6e 2d 62 69 74 20 77 69 6c 6c 20 6f 76 65 72  en-bit will over
1c00: 72 69 64 65 20 61 6e 79 0a 20 20 20 20 20 20 20  ride any.       
1c10: 20 2f 2f 20 70 6f 74 65 6e 74 69 61 6c 20 6b 69   // potential ki
1c20: 6c 6c 20 69 6e 74 72 6f 64 75 63 65 64 20 68 65  ll introduced he
1c30: 72 65 2e 0a 20 20 20 20 20 20 20 20 69 66 20 6c  re..        if l
1c40: 65 74 20 53 6f 6d 65 28 69 6e 64 69 63 65 73 29  et Some(indices)
1c50: 20 3d 20 73 65 6c 66 2e 62 6f 72 72 6f 77 73 5f   = self.borrows_
1c60: 6f 75 74 5f 6f 66 5f 73 63 6f 70 65 5f 61 74 5f  out_of_scope_at_
1c70: 6c 6f 63 61 74 69 6f 6e 2e 67 65 74 28 26 6c 6f  location.get(&lo
1c80: 63 61 74 69 6f 6e 29 20 7b 0a 20 20 20 20 20 20  cation) {.      
1c90: 20 20 20 20 20 20 74 72 61 6e 73 2e 6b 69 6c 6c        trans.kill
1ca0: 5f 61 6c 6c 28 69 6e 64 69 63 65 73 29 3b 0a 20  _all(indices);. 
1cb0: 20 20 20 20 20 20 20 7d 0a 20 20 20 20 7d 0a 0a         }.    }..
1cc0: 20 20 20 20 2f 2f 2f 20 4b 69 6c 6c 20 61 6e 79      /// Kill any
1cd0: 20 62 6f 72 72 6f 77 73 20 74 68 61 74 20 63 6f   borrows that co
1ce0: 6e 66 6c 69 63 74 20 77 69 74 68 20 60 70 6c 61  nflict with `pla
1cf0: 63 65 60 2e 0a 20 20 20 20 66 6e 20 6b 69 6c 6c  ce`..    fn kill
1d00: 5f 62 6f 72 72 6f 77 73 5f 6f 6e 5f 70 6c 61 63  _borrows_on_plac
1d10: 65 28 0a 20 20 20 20 20 20 20 20 26 73 65 6c 66  e(.        &self
1d20: 2c 0a 20 20 20 20 20 20 20 20 74 72 61 6e 73 3a  ,.        trans:
1d30: 20 26 6d 75 74 20 47 65 6e 4b 69 6c 6c 53 65 74   &mut GenKillSet
1d40: 3c 42 6f 72 72 6f 77 49 6e 64 65 78 3e 2c 0a 20  <BorrowIndex>,. 
1d50: 20 20 20 20 20 20 20 70 6c 61 63 65 3a 20 26 50         place: &P
1d60: 6c 61 63 65 3c 27 74 63 78 3e 0a 20 20 20 20 29  lace<'tcx>.    )
1d70: 20 7b 0a 20 20 20 20 20 20 20 20 64 65 62 75 67   {.        debug
1d80: 21 28 22 6b 69 6c 6c 5f 62 6f 72 72 6f 77 73 5f  !("kill_borrows_
1d90: 6f 6e 5f 70 6c 61 63 65 3a 20 70 6c 61 63 65 3d  on_place: place=
1da0: 7b 3a 3f 7d 22 2c 20 70 6c 61 63 65 29 3b 0a 0a  {:?}", place);..
1db0: 20 20 20 20 20 20 20 20 69 66 20 6c 65 74 20 50          if let P
1dc0: 6c 61 63 65 42 61 73 65 3a 3a 4c 6f 63 61 6c 28  laceBase::Local(
1dd0: 6c 6f 63 61 6c 29 20 3d 20 70 6c 61 63 65 2e 62  local) = place.b
1de0: 61 73 65 20 7b 0a 20 20 20 20 20 20 20 20 20 20  ase {.          
1df0: 20 20 6c 65 74 20 6f 74 68 65 72 5f 62 6f 72 72    let other_borr
1e00: 6f 77 73 5f 6f 66 5f 6c 6f 63 61 6c 20 3d 20 73  ows_of_local = s
1e10: 65 6c 66 0a 20 20 20 20 20 20 20 20 20 20 20 20  elf.            
1e20: 20 20 20 20 2e 62 6f 72 72 6f 77 5f 73 65 74 0a      .borrow_set.
1e30: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1e40: 2e 6c 6f 63 61 6c 5f 6d 61 70 0a 20 20 20 20 20  .local_map.     
1e50: 20 20 20 20 20 20 20 20 20 20 20 2e 67 65 74 28             .get(
1e60: 26 6c 6f 63 61 6c 29 0a 20 20 20 20 20 20 20 20  &local).        
1e70: 20 20 20 20 20 20 20 20 2e 69 6e 74 6f 5f 69 74          .into_it
1e80: 65 72 28 29 0a 20 20 20 20 20 20 20 20 20 20 20  er().           
1e90: 20 20 20 20 20 2e 66 6c 61 74 5f 6d 61 70 28 7c       .flat_map(|
1ea0: 62 73 7c 20 62 73 2e 69 6e 74 6f 5f 69 74 65 72  bs| bs.into_iter
1eb0: 28 29 29 3b 0a 0a 20 20 20 20 20 20 20 20 20 20  ());..          
1ec0: 20 20 2f 2f 20 49 66 20 74 68 65 20 62 6f 72 72    // If the borr
1ed0: 6f 77 65 64 20 70 6c 61 63 65 20 69 73 20 61 20  owed place is a 
1ee0: 6c 6f 63 61 6c 20 77 69 74 68 20 6e 6f 20 70 72  local with no pr
1ef0: 6f 6a 65 63 74 69 6f 6e 73 2c 20 61 6c 6c 20 6f  ojections, all o
1f00: 74 68 65 72 20 62 6f 72 72 6f 77 73 20 6f 66 20  ther borrows of 
1f10: 74 68 69 73 0a 20 20 20 20 20 20 20 20 20 20 20  this.           
1f20: 20 2f 2f 20 6c 6f 63 61 6c 20 6d 75 73 74 20 63   // local must c
1f30: 6f 6e 66 6c 69 63 74 2e 20 54 68 69 73 20 69 73  onflict. This is
1f40: 20 70 75 72 65 6c 79 20 61 6e 20 6f 70 74 69 6d   purely an optim
1f50: 69 7a 61 74 69 6f 6e 20 73 6f 20 77 65 20 64 6f  ization so we do
1f60: 6e 27 74 20 68 61 76 65 20 74 6f 20 63 61 6c 6c  n't have to call
1f70: 0a 20 20 20 20 20 20 20 20 20 20 20 20 2f 2f 20  .            // 
1f80: 60 70 6c 61 63 65 73 5f 63 6f 6e 66 6c 69 63 74  `places_conflict
1f90: 60 20 66 6f 72 20 65 76 65 72 79 20 62 6f 72 72  ` for every borr
1fa0: 6f 77 2e 0a 20 20 20 20 20 20 20 20 20 20 20 20  ow..            
1fb0: 69 66 20 70 6c 61 63 65 2e 70 72 6f 6a 65 63 74  if place.project
1fc0: 69 6f 6e 2e 69 73 5f 65 6d 70 74 79 28 29 20 7b  ion.is_empty() {
1fd0: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  .               
1fe0: 20 69 66 20 21 73 65 6c 66 2e 62 6f 64 79 2e 6c   if !self.body.l
1ff0: 6f 63 61 6c 5f 64 65 63 6c 73 5b 6c 6f 63 61 6c  ocal_decls[local
2000: 5d 2e 69 73 5f 72 65 66 5f 74 6f 5f 73 74 61 74  ].is_ref_to_stat
2010: 69 63 28 29 20 7b 0a 20 20 20 20 20 20 20 20 20  ic() {.         
2020: 20 20 20 20 20 20 20 20 20 20 20 74 72 61 6e 73             trans
2030: 2e 6b 69 6c 6c 5f 61 6c 6c 28 6f 74 68 65 72 5f  .kill_all(other_
2040: 62 6f 72 72 6f 77 73 5f 6f 66 5f 6c 6f 63 61 6c  borrows_of_local
2050: 29 3b 0a 20 20 20 20 20 20 20 20 20 20 20 20 20  );.             
2060: 20 20 20 7d 0a 20 20 20 20 20 20 20 20 20 20 20     }.           
2070: 20 20 20 20 20 72 65 74 75 72 6e 3b 0a 20 20 20       return;.   
2080: 20 20 20 20 20 20 20 20 20 7d 0a 0a 20 20 20 20           }..    
2090: 20 20 20 20 20 20 20 20 2f 2f 20 42 79 20 70 61          // By pa
20a0: 73 73 69 6e 67 20 60 50 6c 61 63 65 43 6f 6e 66  ssing `PlaceConf
20b0: 6c 69 63 74 42 69 61 73 3a 3a 4e 6f 4f 76 65 72  lictBias::NoOver
20c0: 6c 61 70 60 2c 20 77 65 20 63 6f 6e 73 65 72 76  lap`, we conserv
20d0: 61 74 69 76 65 6c 79 20 61 73 73 75 6d 65 20 74  atively assume t
20e0: 68 61 74 20 61 6e 79 20 67 69 76 65 6e 0a 20 20  hat any given.  
20f0: 20 20 20 20 20 20 20 20 20 20 2f 2f 20 70 61 69            // pai
2100: 72 20 6f 66 20 61 72 72 61 79 20 69 6e 64 69 63  r of array indic
2110: 65 73 20 61 72 65 20 75 6e 65 71 75 61 6c 2c 20  es are unequal, 
2120: 73 6f 20 74 68 61 74 20 77 68 65 6e 20 60 70 6c  so that when `pl
2130: 61 63 65 73 5f 63 6f 6e 66 6c 69 63 74 60 20 72  aces_conflict` r
2140: 65 74 75 72 6e 73 20 74 72 75 65 2c 20 77 65 0a  eturns true, we.
2150: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2f 20 77              // w
2160: 69 6c 6c 20 62 65 20 61 73 73 75 72 65 64 20 74  ill be assured t
2170: 68 61 74 20 74 77 6f 20 70 6c 61 63 65 73 20 62  hat two places b
2180: 65 69 6e 67 20 63 6f 6d 70 61 72 65 64 20 64 65  eing compared de
2190: 66 69 6e 69 74 65 6c 79 20 64 65 6e 6f 74 65 73  finitely denotes
21a0: 20 74 68 65 20 73 61 6d 65 20 73 65 74 73 20 6f   the same sets o
21b0: 66 0a 20 20 20 20 20 20 20 20 20 20 20 20 2f 2f  f.            //
21c0: 20 6c 6f 63 61 74 69 6f 6e 73 2e 0a 20 20 20 20   locations..    
21d0: 20 20 20 20 20 20 20 20 6c 65 74 20 64 65 66 69          let defi
21e0: 6e 69 74 65 6c 79 5f 63 6f 6e 66 6c 69 63 74 69  nitely_conflicti
21f0: 6e 67 5f 62 6f 72 72 6f 77 73 20 3d 20 6f 74 68  ng_borrows = oth
2200: 65 72 5f 62 6f 72 72 6f 77 73 5f 6f 66 5f 6c 6f  er_borrows_of_lo
2210: 63 61 6c 0a 20 20 20 20 20 20 20 20 20 20 20 20  cal.            
2220: 20 20 20 20 2e 66 69 6c 74 65 72 28 7c 26 26 69      .filter(|&&i
2230: 7c 20 7b 0a 20 20 20 20 20 20 20 20 20 20 20 20  | {.            
2240: 20 20 20 20 20 20 20 20 70 6c 61 63 65 73 5f 63          places_c
2250: 6f 6e 66 6c 69 63 74 28 0a 20 20 20 20 20 20 20  onflict(.       
2260: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2270: 20 73 65 6c 66 2e 74 63 78 2c 0a 20 20 20 20 20   self.tcx,.     
2280: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2290: 20 20 20 73 65 6c 66 2e 70 61 72 61 6d 5f 65 6e     self.param_en
22a0: 76 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20  v,.             
22b0: 20 20 20 20 20 20 20 20 20 20 20 73 65 6c 66 2e             self.
22c0: 62 6f 64 79 2c 0a 20 20 20 20 20 20 20 20 20 20  body,.          
22d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 26 73                &s
22e0: 65 6c 66 2e 62 6f 72 72 6f 77 5f 73 65 74 2e 62  elf.borrow_set.b
22f0: 6f 72 72 6f 77 73 5b 69 5d 2e 62 6f 72 72 6f 77  orrows[i].borrow
2300: 65 64 5f 70 6c 61 63 65 2c 0a 20 20 20 20 20 20  ed_place,.      
2310: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2320: 20 20 70 6c 61 63 65 2c 0a 20 20 20 20 20 20 20    place,.       
2330: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2340: 20 50 6c 61 63 65 43 6f 6e 66 6c 69 63 74 42 69   PlaceConflictBi
2350: 61 73 3a 3a 4e 6f 4f 76 65 72 6c 61 70 29 0a 20  as::NoOverlap). 
2360: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7d                 }
2370: 29 3b 0a 0a 20 20 20 20 20 20 20 20 20 20 20 20  );..            
2380: 74 72 61 6e 73 2e 6b 69 6c 6c 5f 61 6c 6c 28 64  trans.kill_all(d
2390: 65 66 69 6e 69 74 65 6c 79 5f 63 6f 6e 66 6c 69  efinitely_confli
23a0: 63 74 69 6e 67 5f 62 6f 72 72 6f 77 73 29 3b 0a  cting_borrows);.
23b0: 20 20 20 20 20 20 20 20 7d 0a 20 20 20 20 7d 0a          }.    }.
23c0: 7d 0a 0a 69 6d 70 6c 3c 27 61 2c 20 27 74 63 78  }..impl<'a, 'tcx
23d0: 3e 20 42 69 74 44 65 6e 6f 74 61 74 69 6f 6e 3c  > BitDenotation<
23e0: 27 74 63 78 3e 20 66 6f 72 20 42 6f 72 72 6f 77  'tcx> for Borrow
23f0: 73 3c 27 61 2c 20 27 74 63 78 3e 20 7b 0a 20 20  s<'a, 'tcx> {.  
2400: 20 20 74 79 70 65 20 49 64 78 20 3d 20 42 6f 72    type Idx = Bor
2410: 72 6f 77 49 6e 64 65 78 3b 0a 20 20 20 20 66 6e  rowIndex;.    fn
2420: 20 6e 61 6d 65 28 29 20 2d 3e 20 26 27 73 74 61   name() -> &'sta
2430: 74 69 63 20 73 74 72 20 7b 20 22 62 6f 72 72 6f  tic str { "borro
2440: 77 73 22 20 7d 0a 20 20 20 20 66 6e 20 62 69 74  ws" }.    fn bit
2450: 73 5f 70 65 72 5f 62 6c 6f 63 6b 28 26 73 65 6c  s_per_block(&sel
2460: 66 29 20 2d 3e 20 75 73 69 7a 65 20 7b 0a 20 20  f) -> usize {.  
2470: 20 20 20 20 20 20 73 65 6c 66 2e 62 6f 72 72 6f        self.borro
2480: 77 5f 73 65 74 2e 62 6f 72 72 6f 77 73 2e 6c 65  w_set.borrows.le
2490: 6e 28 29 20 2a 20 32 0a 20 20 20 20 7d 0a 0a 20  n() * 2.    }.. 
24a0: 20 20 20 66 6e 20 73 74 61 72 74 5f 62 6c 6f 63     fn start_bloc
24b0: 6b 5f 65 66 66 65 63 74 28 26 73 65 6c 66 2c 20  k_effect(&self, 
24c0: 5f 65 6e 74 72 79 5f 73 65 74 3a 20 26 6d 75 74  _entry_set: &mut
24d0: 20 42 69 74 53 65 74 3c 53 65 6c 66 3a 3a 49 64   BitSet<Self::Id
24e0: 78 3e 29 20 7b 0a 20 20 20 20 20 20 20 20 2f 2f  x>) {.        //
24f0: 20 6e 6f 20 62 6f 72 72 6f 77 73 20 6f 66 20 63   no borrows of c
2500: 6f 64 65 20 72 65 67 69 6f 6e 5f 73 63 6f 70 65  ode region_scope
2510: 73 20 68 61 76 65 20 62 65 65 6e 20 74 61 6b 65  s have been take
2520: 6e 20 70 72 69 6f 72 20 74 6f 0a 20 20 20 20 20  n prior to.     
2530: 20 20 20 2f 2f 20 66 75 6e 63 74 69 6f 6e 20 65     // function e
2540: 78 65 63 75 74 69 6f 6e 2c 20 73 6f 20 74 68 69  xecution, so thi
2550: 73 20 6d 65 74 68 6f 64 20 68 61 73 20 6e 6f 20  s method has no 
2560: 65 66 66 65 63 74 2e 0a 20 20 20 20 7d 0a 0a 20  effect..    }.. 
2570: 20 20 20 66 6e 20 62 65 66 6f 72 65 5f 73 74 61     fn before_sta
2580: 74 65 6d 65 6e 74 5f 65 66 66 65 63 74 28 26 73  tement_effect(&s
2590: 65 6c 66 2c 0a 20 20 20 20 20 20 20 20 20 20 20  elf,.           
25a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
25b0: 20 20 20 20 74 72 61 6e 73 3a 20 26 6d 75 74 20      trans: &mut 
25c0: 47 65 6e 4b 69 6c 6c 53 65 74 3c 53 65 6c 66 3a  GenKillSet<Self:
25d0: 3a 49 64 78 3e 2c 0a 20 20 20 20 20 20 20 20 20  :Idx>,.         
25e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
25f0: 20 20 20 20 20 20 6c 6f 63 61 74 69 6f 6e 3a 20        location: 
2600: 4c 6f 63 61 74 69 6f 6e 29 20 7b 0a 20 20 20 20  Location) {.    
2610: 20 20 20 20 64 65 62 75 67 21 28 22 42 6f 72 72      debug!("Borr
2620: 6f 77 73 3a 3a 62 65 66 6f 72 65 5f 73 74 61 74  ows::before_stat
2630: 65 6d 65 6e 74 5f 65 66 66 65 63 74 20 74 72 61  ement_effect tra
2640: 6e 73 3a 20 7b 3a 3f 7d 20 6c 6f 63 61 74 69 6f  ns: {:?} locatio
2650: 6e 3a 20 7b 3a 3f 7d 22 2c 0a 20 20 20 20 20 20  n: {:?}",.      
2660: 20 20 20 20 20 20 20 20 20 74 72 61 6e 73 2c 20           trans, 
2670: 6c 6f 63 61 74 69 6f 6e 29 3b 0a 20 20 20 20 20  location);.     
2680: 20 20 20 73 65 6c 66 2e 6b 69 6c 6c 5f 6c 6f 61     self.kill_loa
2690: 6e 73 5f 6f 75 74 5f 6f 66 5f 73 63 6f 70 65 5f  ns_out_of_scope_
26a0: 61 74 5f 6c 6f 63 61 74 69 6f 6e 28 74 72 61 6e  at_location(tran
26b0: 73 2c 20 6c 6f 63 61 74 69 6f 6e 29 3b 0a 20 20  s, location);.  
26c0: 20 20 7d 0a 0a 20 20 20 20 66 6e 20 73 74 61 74    }..    fn stat
26d0: 65 6d 65 6e 74 5f 65 66 66 65 63 74 28 26 73 65  ement_effect(&se
26e0: 6c 66 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20  lf,.            
26f0: 20 20 20 20 20 20 20 20 20 20 20 20 74 72 61 6e              tran
2700: 73 3a 20 26 6d 75 74 20 47 65 6e 4b 69 6c 6c 53  s: &mut GenKillS
2710: 65 74 3c 53 65 6c 66 3a 3a 49 64 78 3e 2c 0a 20  et<Self::Idx>,. 
2720: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2730: 20 20 20 20 20 20 20 6c 6f 63 61 74 69 6f 6e 3a         location:
2740: 20 4c 6f 63 61 74 69 6f 6e 29 20 7b 0a 20 20 20   Location) {.   
2750: 20 20 20 20 20 64 65 62 75 67 21 28 22 42 6f 72       debug!("Bor
2760: 72 6f 77 73 3a 3a 73 74 61 74 65 6d 65 6e 74 5f  rows::statement_
2770: 65 66 66 65 63 74 3a 20 74 72 61 6e 73 3d 7b 3a  effect: trans={:
2780: 3f 7d 20 6c 6f 63 61 74 69 6f 6e 3d 7b 3a 3f 7d  ?} location={:?}
2790: 22 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20  ",.             
27a0: 20 20 74 72 61 6e 73 2c 20 6c 6f 63 61 74 69 6f    trans, locatio
27b0: 6e 29 3b 0a 0a 20 20 20 20 20 20 20 20 6c 65 74  n);..        let
27c0: 20 62 6c 6f 63 6b 20 3d 20 26 73 65 6c 66 2e 62   block = &self.b
27d0: 6f 64 79 2e 62 61 73 69 63 5f 62 6c 6f 63 6b 73  ody.basic_blocks
27e0: 28 29 2e 67 65 74 28 6c 6f 63 61 74 69 6f 6e 2e  ().get(location.
27f0: 62 6c 6f 63 6b 29 2e 75 6e 77 72 61 70 5f 6f 72  block).unwrap_or
2800: 5f 65 6c 73 65 28 7c 7c 20 7b 0a 20 20 20 20 20  _else(|| {.     
2810: 20 20 20 20 20 20 20 70 61 6e 69 63 21 28 22 63         panic!("c
2820: 6f 75 6c 64 20 6e 6f 74 20 66 69 6e 64 20 62 6c  ould not find bl
2830: 6f 63 6b 20 61 74 20 6c 6f 63 61 74 69 6f 6e 20  ock at location 
2840: 7b 3a 3f 7d 22 2c 20 6c 6f 63 61 74 69 6f 6e 29  {:?}", location)
2850: 3b 0a 20 20 20 20 20 20 20 20 7d 29 3b 0a 20 20  ;.        });.  
2860: 20 20 20 20 20 20 6c 65 74 20 73 74 6d 74 20 3d        let stmt =
2870: 20 62 6c 6f 63 6b 2e 73 74 61 74 65 6d 65 6e 74   block.statement
2880: 73 2e 67 65 74 28 6c 6f 63 61 74 69 6f 6e 2e 73  s.get(location.s
2890: 74 61 74 65 6d 65 6e 74 5f 69 6e 64 65 78 29 2e  tatement_index).
28a0: 75 6e 77 72 61 70 5f 6f 72 5f 65 6c 73 65 28 7c  unwrap_or_else(|
28b0: 7c 20 7b 0a 20 20 20 20 20 20 20 20 20 20 20 20  | {.            
28c0: 70 61 6e 69 63 21 28 22 63 6f 75 6c 64 20 6e 6f  panic!("could no
28d0: 74 20 66 69 6e 64 20 73 74 61 74 65 6d 65 6e 74  t find statement
28e0: 20 61 74 20 6c 6f 63 61 74 69 6f 6e 20 7b 3a 3f   at location {:?
28f0: 7d 22 29 3b 0a 20 20 20 20 20 20 20 20 7d 29 3b  }");.        });
2900: 0a 0a 20 20 20 20 20 20 20 20 64 65 62 75 67 21  ..        debug!
2910: 28 22 42 6f 72 72 6f 77 73 3a 3a 73 74 61 74 65  ("Borrows::state
2920: 6d 65 6e 74 5f 65 66 66 65 63 74 3a 20 73 74 6d  ment_effect: stm
2930: 74 3d 7b 3a 3f 7d 22 2c 20 73 74 6d 74 29 3b 0a  t={:?}", stmt);.
2940: 20 20 20 20 20 20 20 20 6d 61 74 63 68 20 73 74          match st
2950: 6d 74 2e 6b 69 6e 64 20 7b 0a 20 20 20 20 20 20  mt.kind {.      
2960: 20 20 20 20 20 20 6d 69 72 3a 3a 53 74 61 74 65        mir::State
2970: 6d 65 6e 74 4b 69 6e 64 3a 3a 41 73 73 69 67 6e  mentKind::Assign
2980: 28 62 6f 78 28 72 65 66 20 6c 68 73 2c 20 72 65  (box(ref lhs, re
2990: 66 20 72 68 73 29 29 20 3d 3e 20 7b 0a 20 20 20  f rhs)) => {.   
29a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 69 66 20               if 
29b0: 6c 65 74 20 6d 69 72 3a 3a 52 76 61 6c 75 65 3a  let mir::Rvalue:
29c0: 3a 52 65 66 28 5f 2c 20 5f 2c 20 72 65 66 20 70  :Ref(_, _, ref p
29d0: 6c 61 63 65 29 20 3d 20 2a 72 68 73 20 7b 0a 20  lace) = *rhs {. 
29e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
29f0: 20 20 20 69 66 20 70 6c 61 63 65 2e 69 67 6e 6f     if place.igno
2a00: 72 65 5f 62 6f 72 72 6f 77 28 0a 20 20 20 20 20  re_borrow(.     
2a10: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2a20: 20 20 20 73 65 6c 66 2e 74 63 78 2c 0a 20 20 20     self.tcx,.   
2a30: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2a40: 20 20 20 20 20 73 65 6c 66 2e 62 6f 64 79 2c 0a       self.body,.
2a50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2a60: 20 20 20 20 20 20 20 20 26 73 65 6c 66 2e 62 6f          &self.bo
2a70: 72 72 6f 77 5f 73 65 74 2e 6c 6f 63 61 6c 73 5f  rrow_set.locals_
2a80: 73 74 61 74 65 5f 61 74 5f 65 78 69 74 2c 0a 20  state_at_exit,. 
2a90: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2aa0: 20 20 20 29 20 7b 0a 20 20 20 20 20 20 20 20 20     ) {.         
2ab0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 72                 r
2ac0: 65 74 75 72 6e 3b 0a 20 20 20 20 20 20 20 20 20  eturn;.         
2ad0: 20 20 20 20 20 20 20 20 20 20 20 7d 0a 20 20 20             }.   
2ae0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2af0: 20 6c 65 74 20 69 6e 64 65 78 20 3d 20 73 65 6c   let index = sel
2b00: 66 2e 62 6f 72 72 6f 77 5f 73 65 74 2e 6c 6f 63  f.borrow_set.loc
2b10: 61 74 69 6f 6e 5f 6d 61 70 2e 67 65 74 28 26 6c  ation_map.get(&l
2b20: 6f 63 61 74 69 6f 6e 29 2e 75 6e 77 72 61 70 5f  ocation).unwrap_
2b30: 6f 72 5f 65 6c 73 65 28 7c 7c 20 7b 0a 20 20 20  or_else(|| {.   
2b40: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2b50: 20 20 20 20 20 70 61 6e 69 63 21 28 22 63 6f 75       panic!("cou
2b60: 6c 64 20 6e 6f 74 20 66 69 6e 64 20 42 6f 72 72  ld not find Borr
2b70: 6f 77 49 6e 64 65 78 20 66 6f 72 20 6c 6f 63 61  owIndex for loca
2b80: 74 69 6f 6e 20 7b 3a 3f 7d 22 2c 20 6c 6f 63 61  tion {:?}", loca
2b90: 74 69 6f 6e 29 3b 0a 20 20 20 20 20 20 20 20 20  tion);.         
2ba0: 20 20 20 20 20 20 20 20 20 20 20 7d 29 3b 0a 0a             });..
2bb0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2bc0: 20 20 20 20 74 72 61 6e 73 2e 67 65 6e 28 2a 69      trans.gen(*i
2bd0: 6e 64 65 78 29 3b 0a 20 20 20 20 20 20 20 20 20  ndex);.         
2be0: 20 20 20 20 20 20 20 7d 0a 0a 20 20 20 20 20 20         }..      
2bf0: 20 20 20 20 20 20 20 20 20 20 2f 2f 20 4d 61 6b            // Mak
2c00: 65 20 73 75 72 65 20 74 68 65 72 65 20 61 72 65  e sure there are
2c10: 20 6e 6f 20 72 65 6d 61 69 6e 69 6e 67 20 62 6f   no remaining bo
2c20: 72 72 6f 77 73 20 66 6f 72 20 76 61 72 69 61 62  rrows for variab
2c30: 6c 65 73 0a 20 20 20 20 20 20 20 20 20 20 20 20  les.            
2c40: 20 20 20 20 2f 2f 20 74 68 61 74 20 61 72 65 20      // that are 
2c50: 61 73 73 69 67 6e 65 64 20 6f 76 65 72 2e 0a 20  assigned over.. 
2c60: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 73                 s
2c70: 65 6c 66 2e 6b 69 6c 6c 5f 62 6f 72 72 6f 77 73  elf.kill_borrows
2c80: 5f 6f 6e 5f 70 6c 61 63 65 28 74 72 61 6e 73 2c  _on_place(trans,
2c90: 20 6c 68 73 29 3b 0a 20 20 20 20 20 20 20 20 20   lhs);.         
2ca0: 20 20 20 7d 0a 0a 20 20 20 20 20 20 20 20 20 20     }..          
2cb0: 20 20 6d 69 72 3a 3a 53 74 61 74 65 6d 65 6e 74    mir::Statement
2cc0: 4b 69 6e 64 3a 3a 53 74 6f 72 61 67 65 44 65 61  Kind::StorageDea
2cd0: 64 28 6c 6f 63 61 6c 29 20 3d 3e 20 7b 0a 20 20  d(local) => {.  
2ce0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2f                //
2cf0: 20 4d 61 6b 65 20 73 75 72 65 20 74 68 65 72 65   Make sure there
2d00: 20 61 72 65 20 6e 6f 20 72 65 6d 61 69 6e 69 6e   are no remainin
2d10: 67 20 62 6f 72 72 6f 77 73 20 66 6f 72 20 6c 6f  g borrows for lo
2d20: 63 61 6c 73 20 74 68 61 74 0a 20 20 20 20 20 20  cals that.      
2d30: 20 20 20 20 20 20 20 20 20 20 2f 2f 20 61 72 65            // are
2d40: 20 67 6f 6e 65 20 6f 75 74 20 6f 66 20 73 63 6f   gone out of sco
2d50: 70 65 2e 0a 20 20 20 20 20 20 20 20 20 20 20 20  pe..            
2d60: 20 20 20 20 73 65 6c 66 2e 6b 69 6c 6c 5f 62 6f      self.kill_bo
2d70: 72 72 6f 77 73 5f 6f 6e 5f 70 6c 61 63 65 28 74  rrows_on_place(t
2d80: 72 61 6e 73 2c 20 26 50 6c 61 63 65 3a 3a 66 72  rans, &Place::fr
2d90: 6f 6d 28 6c 6f 63 61 6c 29 29 3b 0a 20 20 20 20  om(local));.    
2da0: 20 20 20 20 20 20 20 20 7d 0a 0a 20 20 20 20 20          }..     
2db0: 20 20 20 20 20 20 20 6d 69 72 3a 3a 53 74 61 74         mir::Stat
2dc0: 65 6d 65 6e 74 4b 69 6e 64 3a 3a 49 6e 6c 69 6e  ementKind::Inlin
2dd0: 65 41 73 6d 28 72 65 66 20 61 73 6d 29 20 3d 3e  eAsm(ref asm) =>
2de0: 20 7b 0a 20 20 20 20 20 20 20 20 20 20 20 20 20   {.             
2df0: 20 20 20 66 6f 72 20 28 6f 75 74 70 75 74 2c 20     for (output, 
2e00: 6b 69 6e 64 29 20 69 6e 20 61 73 6d 2e 6f 75 74  kind) in asm.out
2e10: 70 75 74 73 2e 69 74 65 72 28 29 2e 7a 69 70 28  puts.iter().zip(
2e20: 26 61 73 6d 2e 61 73 6d 2e 6f 75 74 70 75 74 73  &asm.asm.outputs
2e30: 29 20 7b 0a 20 20 20 20 20 20 20 20 20 20 20 20  ) {.            
2e40: 20 20 20 20 20 20 20 20 69 66 20 21 6b 69 6e 64          if !kind
2e50: 2e 69 73 5f 69 6e 64 69 72 65 63 74 20 26 26 20  .is_indirect && 
2e60: 21 6b 69 6e 64 2e 69 73 5f 72 77 20 7b 0a 20 20  !kind.is_rw {.  
2e70: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2e80: 20 20 20 20 20 20 73 65 6c 66 2e 6b 69 6c 6c 5f        self.kill_
2e90: 62 6f 72 72 6f 77 73 5f 6f 6e 5f 70 6c 61 63 65  borrows_on_place
2ea0: 28 74 72 61 6e 73 2c 20 6f 75 74 70 75 74 29 3b  (trans, output);
2eb0: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  .               
2ec0: 20 20 20 20 20 7d 0a 20 20 20 20 20 20 20 20 20       }.         
2ed0: 20 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 20         }.       
2ee0: 20 20 20 20 20 7d 0a 0a 20 20 20 20 20 20 20 20       }..        
2ef0: 20 20 20 20 6d 69 72 3a 3a 53 74 61 74 65 6d 65      mir::Stateme
2f00: 6e 74 4b 69 6e 64 3a 3a 46 61 6b 65 52 65 61 64  ntKind::FakeRead
2f10: 28 2e 2e 29 20 7c 0a 20 20 20 20 20 20 20 20 20  (..) |.         
2f20: 20 20 20 6d 69 72 3a 3a 53 74 61 74 65 6d 65 6e     mir::Statemen
2f30: 74 4b 69 6e 64 3a 3a 53 65 74 44 69 73 63 72 69  tKind::SetDiscri
2f40: 6d 69 6e 61 6e 74 20 7b 20 2e 2e 20 7d 20 7c 0a  minant { .. } |.
2f50: 20 20 20 20 20 20 20 20 20 20 20 20 6d 69 72 3a              mir:
2f60: 3a 53 74 61 74 65 6d 65 6e 74 4b 69 6e 64 3a 3a  :StatementKind::
2f70: 53 74 6f 72 61 67 65 4c 69 76 65 28 2e 2e 29 20  StorageLive(..) 
2f80: 7c 0a 20 20 20 20 20 20 20 20 20 20 20 20 6d 69  |.            mi
2f90: 72 3a 3a 53 74 61 74 65 6d 65 6e 74 4b 69 6e 64  r::StatementKind
2fa0: 3a 3a 52 65 74 61 67 20 7b 20 2e 2e 20 7d 20 7c  ::Retag { .. } |
2fb0: 0a 20 20 20 20 20 20 20 20 20 20 20 20 6d 69 72  .            mir
2fc0: 3a 3a 53 74 61 74 65 6d 65 6e 74 4b 69 6e 64 3a  ::StatementKind:
2fd0: 3a 41 73 63 72 69 62 65 55 73 65 72 54 79 70 65  :AscribeUserType
2fe0: 28 2e 2e 29 20 7c 0a 20 20 20 20 20 20 20 20 20  (..) |.         
2ff0: 20 20 20 6d 69 72 3a 3a 53 74 61 74 65 6d 65 6e     mir::Statemen
3000: 74 4b 69 6e 64 3a 3a 4e 6f 70 20 3d 3e 20 7b 7d  tKind::Nop => {}
3010: 0a 0a 20 20 20 20 20 20 20 20 7d 0a 20 20 20 20  ..        }.    
3020: 7d 0a 0a 20 20 20 20 66 6e 20 62 65 66 6f 72 65  }..    fn before
3030: 5f 74 65 72 6d 69 6e 61 74 6f 72 5f 65 66 66 65  _terminator_effe
3040: 63 74 28 26 73 65 6c 66 2c 0a 20 20 20 20 20 20  ct(&self,.      
3050: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3060: 20 20 20 20 20 20 20 20 20 20 74 72 61 6e 73 3a            trans:
3070: 20 26 6d 75 74 20 47 65 6e 4b 69 6c 6c 53 65 74   &mut GenKillSet
3080: 3c 53 65 6c 66 3a 3a 49 64 78 3e 2c 0a 20 20 20  <Self::Idx>,.   
3090: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
30a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 6c 6f 63               loc
30b0: 61 74 69 6f 6e 3a 20 4c 6f 63 61 74 69 6f 6e 29  ation: Location)
30c0: 20 7b 0a 20 20 20 20 20 20 20 20 64 65 62 75 67   {.        debug
30d0: 21 28 22 42 6f 72 72 6f 77 73 3a 3a 62 65 66 6f  !("Borrows::befo
30e0: 72 65 5f 74 65 72 6d 69 6e 61 74 6f 72 5f 65 66  re_terminator_ef
30f0: 66 65 63 74 3a 20 74 72 61 6e 73 3d 7b 3a 3f 7d  fect: trans={:?}
3100: 20 6c 6f 63 61 74 69 6f 6e 3d 7b 3a 3f 7d 22 2c   location={:?}",
3110: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  .               
3120: 74 72 61 6e 73 2c 20 6c 6f 63 61 74 69 6f 6e 29  trans, location)
3130: 3b 0a 20 20 20 20 20 20 20 20 73 65 6c 66 2e 6b  ;.        self.k
3140: 69 6c 6c 5f 6c 6f 61 6e 73 5f 6f 75 74 5f 6f 66  ill_loans_out_of
3150: 5f 73 63 6f 70 65 5f 61 74 5f 6c 6f 63 61 74 69  _scope_at_locati
3160: 6f 6e 28 74 72 61 6e 73 2c 20 6c 6f 63 61 74 69  on(trans, locati
3170: 6f 6e 29 3b 0a 20 20 20 20 7d 0a 0a 20 20 20 20  on);.    }..    
3180: 66 6e 20 74 65 72 6d 69 6e 61 74 6f 72 5f 65 66  fn terminator_ef
3190: 66 65 63 74 28 26 73 65 6c 66 2c 0a 20 20 20 20  fect(&self,.    
31a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
31b0: 20 20 20 20 20 5f 3a 20 26 6d 75 74 20 47 65 6e       _: &mut Gen
31c0: 4b 69 6c 6c 53 65 74 3c 53 65 6c 66 3a 3a 49 64  KillSet<Self::Id
31d0: 78 3e 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20  x>,.            
31e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 5f 3a 20               _: 
31f0: 4c 6f 63 61 74 69 6f 6e 29 20 7b 7d 0a 0a 20 20  Location) {}..  
3200: 20 20 66 6e 20 70 72 6f 70 61 67 61 74 65 5f 63    fn propagate_c
3210: 61 6c 6c 5f 72 65 74 75 72 6e 28 0a 20 20 20 20  all_return(.    
3220: 20 20 20 20 26 73 65 6c 66 2c 0a 20 20 20 20 20      &self,.     
3230: 20 20 20 5f 69 6e 5f 6f 75 74 3a 20 26 6d 75 74     _in_out: &mut
3240: 20 42 69 74 53 65 74 3c 42 6f 72 72 6f 77 49 6e   BitSet<BorrowIn
3250: 64 65 78 3e 2c 0a 20 20 20 20 20 20 20 20 5f 63  dex>,.        _c
3260: 61 6c 6c 5f 62 62 3a 20 6d 69 72 3a 3a 42 61 73  all_bb: mir::Bas
3270: 69 63 42 6c 6f 63 6b 2c 0a 20 20 20 20 20 20 20  icBlock,.       
3280: 20 5f 64 65 73 74 5f 62 62 3a 20 6d 69 72 3a 3a   _dest_bb: mir::
3290: 42 61 73 69 63 42 6c 6f 63 6b 2c 0a 20 20 20 20  BasicBlock,.    
32a0: 20 20 20 20 5f 64 65 73 74 5f 70 6c 61 63 65 3a      _dest_place:
32b0: 20 26 6d 69 72 3a 3a 50 6c 61 63 65 3c 27 74 63   &mir::Place<'tc
32c0: 78 3e 2c 0a 20 20 20 20 29 20 7b 0a 20 20 20 20  x>,.    ) {.    
32d0: 7d 0a 7d 0a 0a 69 6d 70 6c 3c 27 61 2c 20 27 74  }.}..impl<'a, 't
32e0: 63 78 3e 20 42 6f 74 74 6f 6d 56 61 6c 75 65 20  cx> BottomValue 
32f0: 66 6f 72 20 42 6f 72 72 6f 77 73 3c 27 61 2c 20  for Borrows<'a, 
3300: 27 74 63 78 3e 20 7b 0a 20 20 20 20 2f 2f 2f 20  'tcx> {.    /// 
3310: 62 6f 74 74 6f 6d 20 3d 20 6e 6f 74 68 69 6e 67  bottom = nothing
3320: 20 69 73 20 72 65 73 65 72 76 65 64 20 6f 72 20   is reserved or 
3330: 61 63 74 69 76 61 74 65 64 20 79 65 74 3b 0a 20  activated yet;. 
3340: 20 20 20 63 6f 6e 73 74 20 42 4f 54 54 4f 4d 5f     const BOTTOM_
3350: 56 41 4c 55 45 3a 20 62 6f 6f 6c 20 3d 20 66 61  VALUE: bool = fa
3360: 6c 73 65 3b 0a 7d 0a                             lse;.}.