src/test/mir-opt/storage_live_dead_in_statics/rustc.XXX.mir_map.0.mir

   1 // MIR for `XXX` 0 mir_map
   2
   3 static XXX: &Foo = {
   4     let mut _0: &Foo;                    // return place in scope 0 at $DIR/storage_live_dead_in_statics.rs:5:13: 5:25
   5     let _1: &Foo;                        // in scope 0 at $DIR/storage_live_dead_in_statics.rs:5:28: 23:2
   6     let _2: Foo;                         // in scope 0 at $DIR/storage_live_dead_in_statics.rs:5:29: 23:2
   7     let mut _3: &[(u32, u32)];           // in scope 0 at $DIR/storage_live_dead_in_statics.rs:7:11: 22:6
   8     let mut _4: &[(u32, u32); 42];       // in scope 0 at $DIR/storage_live_dead_in_statics.rs:7:11: 22:6
   9     let _5: &[(u32, u32); 42];           // in scope 0 at $DIR/storage_live_dead_in_statics.rs:7:11: 22:6
  10     let _6: [(u32, u32); 42];            // in scope 0 at $DIR/storage_live_dead_in_statics.rs:7:12: 22:6
  11     let mut _7: (u32, u32);              // in scope 0 at $DIR/storage_live_dead_in_statics.rs:8:9: 8:15
  12     let mut _8: (u32, u32);              // in scope 0 at $DIR/storage_live_dead_in_statics.rs:8:17: 8:23
  13     let mut _9: (u32, u32);              // in scope 0 at $DIR/storage_live_dead_in_statics.rs:8:25: 8:31
  14     let mut _10: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:9:9: 9:15
  15     let mut _11: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:9:17: 9:23
  16     let mut _12: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:9:25: 9:31
  17     let mut _13: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:10:9: 10:15
  18     let mut _14: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:10:17: 10:23
  19     let mut _15: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:10:25: 10:31
  20     let mut _16: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:11:9: 11:15
  21     let mut _17: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:11:17: 11:23
  22     let mut _18: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:11:25: 11:31
  23     let mut _19: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:12:9: 12:15
  24     let mut _20: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:12:17: 12:23
  25     let mut _21: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:12:25: 12:31
  26     let mut _22: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:13:9: 13:15
  27     let mut _23: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:13:17: 13:23
  28     let mut _24: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:13:25: 13:31
  29     let mut _25: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:14:9: 14:15
  30     let mut _26: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:14:17: 14:23
  31     let mut _27: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:14:25: 14:31
  32     let mut _28: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:15:9: 15:15
  33     let mut _29: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:15:17: 15:23
  34     let mut _30: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:15:25: 15:31
  35     let mut _31: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:16:9: 16:15
  36     let mut _32: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:16:17: 16:23
  37     let mut _33: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:16:25: 16:31
  38     let mut _34: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:17:9: 17:15
  39     let mut _35: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:17:17: 17:23
  40     let mut _36: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:17:25: 17:31
  41     let mut _37: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:18:9: 18:15
  42     let mut _38: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:18:17: 18:23
  43     let mut _39: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:18:25: 18:31
  44     let mut _40: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:19:9: 19:15
  45     let mut _41: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:19:17: 19:23
  46     let mut _42: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:19:25: 19:31
  47     let mut _43: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:20:9: 20:15
  48     let mut _44: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:20:17: 20:23
  49     let mut _45: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:20:25: 20:31
  50     let mut _46: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:21:9: 21:15
  51     let mut _47: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:21:17: 21:23
  52     let mut _48: (u32, u32);             // in scope 0 at $DIR/storage_live_dead_in_statics.rs:21:25: 21:31
  53
  54     bb0: {
  55         StorageLive(_1);                 // scope 0 at $DIR/storage_live_dead_in_statics.rs:5:28: 23:2
  56         StorageLive(_2);                 // scope 0 at $DIR/storage_live_dead_in_statics.rs:5:29: 23:2
  57         StorageLive(_3);                 // scope 0 at $DIR/storage_live_dead_in_statics.rs:7:11: 22:6
  58         StorageLive(_4);                 // scope 0 at $DIR/storage_live_dead_in_statics.rs:7:11: 22:6
  59         StorageLive(_5);                 // scope 0 at $DIR/storage_live_dead_in_statics.rs:7:11: 22:6
  60         StorageLive(_6);                 // scope 0 at $DIR/storage_live_dead_in_statics.rs:7:12: 22:6
  61         StorageLive(_7);                 // scope 0 at $DIR/storage_live_dead_in_statics.rs:8:9: 8:15
  62         _7 = (const 0u32, const 1u32);   // scope 0 at $DIR/storage_live_dead_in_statics.rs:8:9: 8:15
  63                                          // ty::Const
  64                                          // + ty: u32
  65                                          // + val: Value(Scalar(0x00000000))
  66                                          // mir::Constant
  67                                          // + span: $DIR/storage_live_dead_in_statics.rs:8:10: 8:11
  68                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
  69                                          // ty::Const
  70                                          // + ty: u32
  71                                          // + val: Value(Scalar(0x00000001))
  72                                          // mir::Constant
  73                                          // + span: $DIR/storage_live_dead_in_statics.rs:8:13: 8:14
  74                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000001)) }
  75         StorageLive(_8);                 // scope 0 at $DIR/storage_live_dead_in_statics.rs:8:17: 8:23
  76         _8 = (const 0u32, const 2u32);   // scope 0 at $DIR/storage_live_dead_in_statics.rs:8:17: 8:23
  77                                          // ty::Const
  78                                          // + ty: u32
  79                                          // + val: Value(Scalar(0x00000000))
  80                                          // mir::Constant
  81                                          // + span: $DIR/storage_live_dead_in_statics.rs:8:18: 8:19
  82                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
  83                                          // ty::Const
  84                                          // + ty: u32
  85                                          // + val: Value(Scalar(0x00000002))
  86                                          // mir::Constant
  87                                          // + span: $DIR/storage_live_dead_in_statics.rs:8:21: 8:22
  88                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000002)) }
  89         StorageLive(_9);                 // scope 0 at $DIR/storage_live_dead_in_statics.rs:8:25: 8:31
  90         _9 = (const 0u32, const 3u32);   // scope 0 at $DIR/storage_live_dead_in_statics.rs:8:25: 8:31
  91                                          // ty::Const
  92                                          // + ty: u32
  93                                          // + val: Value(Scalar(0x00000000))
  94                                          // mir::Constant
  95                                          // + span: $DIR/storage_live_dead_in_statics.rs:8:26: 8:27
  96                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
  97                                          // ty::Const
  98                                          // + ty: u32
  99                                          // + val: Value(Scalar(0x00000003))
 100                                          // mir::Constant
 101                                          // + span: $DIR/storage_live_dead_in_statics.rs:8:29: 8:30
 102                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000003)) }
 103         StorageLive(_10);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:9:9: 9:15
 104         _10 = (const 0u32, const 1u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:9:9: 9:15
 105                                          // ty::Const
 106                                          // + ty: u32
 107                                          // + val: Value(Scalar(0x00000000))
 108                                          // mir::Constant
 109                                          // + span: $DIR/storage_live_dead_in_statics.rs:9:10: 9:11
 110                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 111                                          // ty::Const
 112                                          // + ty: u32
 113                                          // + val: Value(Scalar(0x00000001))
 114                                          // mir::Constant
 115                                          // + span: $DIR/storage_live_dead_in_statics.rs:9:13: 9:14
 116                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000001)) }
 117         StorageLive(_11);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:9:17: 9:23
 118         _11 = (const 0u32, const 2u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:9:17: 9:23
 119                                          // ty::Const
 120                                          // + ty: u32
 121                                          // + val: Value(Scalar(0x00000000))
 122                                          // mir::Constant
 123                                          // + span: $DIR/storage_live_dead_in_statics.rs:9:18: 9:19
 124                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 125                                          // ty::Const
 126                                          // + ty: u32
 127                                          // + val: Value(Scalar(0x00000002))
 128                                          // mir::Constant
 129                                          // + span: $DIR/storage_live_dead_in_statics.rs:9:21: 9:22
 130                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000002)) }
 131         StorageLive(_12);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:9:25: 9:31
 132         _12 = (const 0u32, const 3u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:9:25: 9:31
 133                                          // ty::Const
 134                                          // + ty: u32
 135                                          // + val: Value(Scalar(0x00000000))
 136                                          // mir::Constant
 137                                          // + span: $DIR/storage_live_dead_in_statics.rs:9:26: 9:27
 138                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 139                                          // ty::Const
 140                                          // + ty: u32
 141                                          // + val: Value(Scalar(0x00000003))
 142                                          // mir::Constant
 143                                          // + span: $DIR/storage_live_dead_in_statics.rs:9:29: 9:30
 144                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000003)) }
 145         StorageLive(_13);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:10:9: 10:15
 146         _13 = (const 0u32, const 1u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:10:9: 10:15
 147                                          // ty::Const
 148                                          // + ty: u32
 149                                          // + val: Value(Scalar(0x00000000))
 150                                          // mir::Constant
 151                                          // + span: $DIR/storage_live_dead_in_statics.rs:10:10: 10:11
 152                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 153                                          // ty::Const
 154                                          // + ty: u32
 155                                          // + val: Value(Scalar(0x00000001))
 156                                          // mir::Constant
 157                                          // + span: $DIR/storage_live_dead_in_statics.rs:10:13: 10:14
 158                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000001)) }
 159         StorageLive(_14);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:10:17: 10:23
 160         _14 = (const 0u32, const 2u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:10:17: 10:23
 161                                          // ty::Const
 162                                          // + ty: u32
 163                                          // + val: Value(Scalar(0x00000000))
 164                                          // mir::Constant
 165                                          // + span: $DIR/storage_live_dead_in_statics.rs:10:18: 10:19
 166                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 167                                          // ty::Const
 168                                          // + ty: u32
 169                                          // + val: Value(Scalar(0x00000002))
 170                                          // mir::Constant
 171                                          // + span: $DIR/storage_live_dead_in_statics.rs:10:21: 10:22
 172                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000002)) }
 173         StorageLive(_15);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:10:25: 10:31
 174         _15 = (const 0u32, const 3u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:10:25: 10:31
 175                                          // ty::Const
 176                                          // + ty: u32
 177                                          // + val: Value(Scalar(0x00000000))
 178                                          // mir::Constant
 179                                          // + span: $DIR/storage_live_dead_in_statics.rs:10:26: 10:27
 180                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 181                                          // ty::Const
 182                                          // + ty: u32
 183                                          // + val: Value(Scalar(0x00000003))
 184                                          // mir::Constant
 185                                          // + span: $DIR/storage_live_dead_in_statics.rs:10:29: 10:30
 186                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000003)) }
 187         StorageLive(_16);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:11:9: 11:15
 188         _16 = (const 0u32, const 1u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:11:9: 11:15
 189                                          // ty::Const
 190                                          // + ty: u32
 191                                          // + val: Value(Scalar(0x00000000))
 192                                          // mir::Constant
 193                                          // + span: $DIR/storage_live_dead_in_statics.rs:11:10: 11:11
 194                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 195                                          // ty::Const
 196                                          // + ty: u32
 197                                          // + val: Value(Scalar(0x00000001))
 198                                          // mir::Constant
 199                                          // + span: $DIR/storage_live_dead_in_statics.rs:11:13: 11:14
 200                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000001)) }
 201         StorageLive(_17);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:11:17: 11:23
 202         _17 = (const 0u32, const 2u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:11:17: 11:23
 203                                          // ty::Const
 204                                          // + ty: u32
 205                                          // + val: Value(Scalar(0x00000000))
 206                                          // mir::Constant
 207                                          // + span: $DIR/storage_live_dead_in_statics.rs:11:18: 11:19
 208                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 209                                          // ty::Const
 210                                          // + ty: u32
 211                                          // + val: Value(Scalar(0x00000002))
 212                                          // mir::Constant
 213                                          // + span: $DIR/storage_live_dead_in_statics.rs:11:21: 11:22
 214                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000002)) }
 215         StorageLive(_18);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:11:25: 11:31
 216         _18 = (const 0u32, const 3u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:11:25: 11:31
 217                                          // ty::Const
 218                                          // + ty: u32
 219                                          // + val: Value(Scalar(0x00000000))
 220                                          // mir::Constant
 221                                          // + span: $DIR/storage_live_dead_in_statics.rs:11:26: 11:27
 222                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 223                                          // ty::Const
 224                                          // + ty: u32
 225                                          // + val: Value(Scalar(0x00000003))
 226                                          // mir::Constant
 227                                          // + span: $DIR/storage_live_dead_in_statics.rs:11:29: 11:30
 228                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000003)) }
 229         StorageLive(_19);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:12:9: 12:15
 230         _19 = (const 0u32, const 1u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:12:9: 12:15
 231                                          // ty::Const
 232                                          // + ty: u32
 233                                          // + val: Value(Scalar(0x00000000))
 234                                          // mir::Constant
 235                                          // + span: $DIR/storage_live_dead_in_statics.rs:12:10: 12:11
 236                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 237                                          // ty::Const
 238                                          // + ty: u32
 239                                          // + val: Value(Scalar(0x00000001))
 240                                          // mir::Constant
 241                                          // + span: $DIR/storage_live_dead_in_statics.rs:12:13: 12:14
 242                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000001)) }
 243         StorageLive(_20);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:12:17: 12:23
 244         _20 = (const 0u32, const 2u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:12:17: 12:23
 245                                          // ty::Const
 246                                          // + ty: u32
 247                                          // + val: Value(Scalar(0x00000000))
 248                                          // mir::Constant
 249                                          // + span: $DIR/storage_live_dead_in_statics.rs:12:18: 12:19
 250                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 251                                          // ty::Const
 252                                          // + ty: u32
 253                                          // + val: Value(Scalar(0x00000002))
 254                                          // mir::Constant
 255                                          // + span: $DIR/storage_live_dead_in_statics.rs:12:21: 12:22
 256                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000002)) }
 257         StorageLive(_21);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:12:25: 12:31
 258         _21 = (const 0u32, const 3u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:12:25: 12:31
 259                                          // ty::Const
 260                                          // + ty: u32
 261                                          // + val: Value(Scalar(0x00000000))
 262                                          // mir::Constant
 263                                          // + span: $DIR/storage_live_dead_in_statics.rs:12:26: 12:27
 264                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 265                                          // ty::Const
 266                                          // + ty: u32
 267                                          // + val: Value(Scalar(0x00000003))
 268                                          // mir::Constant
 269                                          // + span: $DIR/storage_live_dead_in_statics.rs:12:29: 12:30
 270                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000003)) }
 271         StorageLive(_22);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:13:9: 13:15
 272         _22 = (const 0u32, const 1u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:13:9: 13:15
 273                                          // ty::Const
 274                                          // + ty: u32
 275                                          // + val: Value(Scalar(0x00000000))
 276                                          // mir::Constant
 277                                          // + span: $DIR/storage_live_dead_in_statics.rs:13:10: 13:11
 278                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 279                                          // ty::Const
 280                                          // + ty: u32
 281                                          // + val: Value(Scalar(0x00000001))
 282                                          // mir::Constant
 283                                          // + span: $DIR/storage_live_dead_in_statics.rs:13:13: 13:14
 284                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000001)) }
 285         StorageLive(_23);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:13:17: 13:23
 286         _23 = (const 0u32, const 2u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:13:17: 13:23
 287                                          // ty::Const
 288                                          // + ty: u32
 289                                          // + val: Value(Scalar(0x00000000))
 290                                          // mir::Constant
 291                                          // + span: $DIR/storage_live_dead_in_statics.rs:13:18: 13:19
 292                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 293                                          // ty::Const
 294                                          // + ty: u32
 295                                          // + val: Value(Scalar(0x00000002))
 296                                          // mir::Constant
 297                                          // + span: $DIR/storage_live_dead_in_statics.rs:13:21: 13:22
 298                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000002)) }
 299         StorageLive(_24);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:13:25: 13:31
 300         _24 = (const 0u32, const 3u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:13:25: 13:31
 301                                          // ty::Const
 302                                          // + ty: u32
 303                                          // + val: Value(Scalar(0x00000000))
 304                                          // mir::Constant
 305                                          // + span: $DIR/storage_live_dead_in_statics.rs:13:26: 13:27
 306                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 307                                          // ty::Const
 308                                          // + ty: u32
 309                                          // + val: Value(Scalar(0x00000003))
 310                                          // mir::Constant
 311                                          // + span: $DIR/storage_live_dead_in_statics.rs:13:29: 13:30
 312                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000003)) }
 313         StorageLive(_25);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:14:9: 14:15
 314         _25 = (const 0u32, const 1u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:14:9: 14:15
 315                                          // ty::Const
 316                                          // + ty: u32
 317                                          // + val: Value(Scalar(0x00000000))
 318                                          // mir::Constant
 319                                          // + span: $DIR/storage_live_dead_in_statics.rs:14:10: 14:11
 320                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 321                                          // ty::Const
 322                                          // + ty: u32
 323                                          // + val: Value(Scalar(0x00000001))
 324                                          // mir::Constant
 325                                          // + span: $DIR/storage_live_dead_in_statics.rs:14:13: 14:14
 326                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000001)) }
 327         StorageLive(_26);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:14:17: 14:23
 328         _26 = (const 0u32, const 2u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:14:17: 14:23
 329                                          // ty::Const
 330                                          // + ty: u32
 331                                          // + val: Value(Scalar(0x00000000))
 332                                          // mir::Constant
 333                                          // + span: $DIR/storage_live_dead_in_statics.rs:14:18: 14:19
 334                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 335                                          // ty::Const
 336                                          // + ty: u32
 337                                          // + val: Value(Scalar(0x00000002))
 338                                          // mir::Constant
 339                                          // + span: $DIR/storage_live_dead_in_statics.rs:14:21: 14:22
 340                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000002)) }
 341         StorageLive(_27);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:14:25: 14:31
 342         _27 = (const 0u32, const 3u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:14:25: 14:31
 343                                          // ty::Const
 344                                          // + ty: u32
 345                                          // + val: Value(Scalar(0x00000000))
 346                                          // mir::Constant
 347                                          // + span: $DIR/storage_live_dead_in_statics.rs:14:26: 14:27
 348                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 349                                          // ty::Const
 350                                          // + ty: u32
 351                                          // + val: Value(Scalar(0x00000003))
 352                                          // mir::Constant
 353                                          // + span: $DIR/storage_live_dead_in_statics.rs:14:29: 14:30
 354                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000003)) }
 355         StorageLive(_28);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:15:9: 15:15
 356         _28 = (const 0u32, const 1u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:15:9: 15:15
 357                                          // ty::Const
 358                                          // + ty: u32
 359                                          // + val: Value(Scalar(0x00000000))
 360                                          // mir::Constant
 361                                          // + span: $DIR/storage_live_dead_in_statics.rs:15:10: 15:11
 362                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 363                                          // ty::Const
 364                                          // + ty: u32
 365                                          // + val: Value(Scalar(0x00000001))
 366                                          // mir::Constant
 367                                          // + span: $DIR/storage_live_dead_in_statics.rs:15:13: 15:14
 368                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000001)) }
 369         StorageLive(_29);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:15:17: 15:23
 370         _29 = (const 0u32, const 2u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:15:17: 15:23
 371                                          // ty::Const
 372                                          // + ty: u32
 373                                          // + val: Value(Scalar(0x00000000))
 374                                          // mir::Constant
 375                                          // + span: $DIR/storage_live_dead_in_statics.rs:15:18: 15:19
 376                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 377                                          // ty::Const
 378                                          // + ty: u32
 379                                          // + val: Value(Scalar(0x00000002))
 380                                          // mir::Constant
 381                                          // + span: $DIR/storage_live_dead_in_statics.rs:15:21: 15:22
 382                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000002)) }
 383         StorageLive(_30);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:15:25: 15:31
 384         _30 = (const 0u32, const 3u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:15:25: 15:31
 385                                          // ty::Const
 386                                          // + ty: u32
 387                                          // + val: Value(Scalar(0x00000000))
 388                                          // mir::Constant
 389                                          // + span: $DIR/storage_live_dead_in_statics.rs:15:26: 15:27
 390                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 391                                          // ty::Const
 392                                          // + ty: u32
 393                                          // + val: Value(Scalar(0x00000003))
 394                                          // mir::Constant
 395                                          // + span: $DIR/storage_live_dead_in_statics.rs:15:29: 15:30
 396                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000003)) }
 397         StorageLive(_31);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:16:9: 16:15
 398         _31 = (const 0u32, const 1u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:16:9: 16:15
 399                                          // ty::Const
 400                                          // + ty: u32
 401                                          // + val: Value(Scalar(0x00000000))
 402                                          // mir::Constant
 403                                          // + span: $DIR/storage_live_dead_in_statics.rs:16:10: 16:11
 404                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 405                                          // ty::Const
 406                                          // + ty: u32
 407                                          // + val: Value(Scalar(0x00000001))
 408                                          // mir::Constant
 409                                          // + span: $DIR/storage_live_dead_in_statics.rs:16:13: 16:14
 410                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000001)) }
 411         StorageLive(_32);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:16:17: 16:23
 412         _32 = (const 0u32, const 2u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:16:17: 16:23
 413                                          // ty::Const
 414                                          // + ty: u32
 415                                          // + val: Value(Scalar(0x00000000))
 416                                          // mir::Constant
 417                                          // + span: $DIR/storage_live_dead_in_statics.rs:16:18: 16:19
 418                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 419                                          // ty::Const
 420                                          // + ty: u32
 421                                          // + val: Value(Scalar(0x00000002))
 422                                          // mir::Constant
 423                                          // + span: $DIR/storage_live_dead_in_statics.rs:16:21: 16:22
 424                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000002)) }
 425         StorageLive(_33);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:16:25: 16:31
 426         _33 = (const 0u32, const 3u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:16:25: 16:31
 427                                          // ty::Const
 428                                          // + ty: u32
 429                                          // + val: Value(Scalar(0x00000000))
 430                                          // mir::Constant
 431                                          // + span: $DIR/storage_live_dead_in_statics.rs:16:26: 16:27
 432                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 433                                          // ty::Const
 434                                          // + ty: u32
 435                                          // + val: Value(Scalar(0x00000003))
 436                                          // mir::Constant
 437                                          // + span: $DIR/storage_live_dead_in_statics.rs:16:29: 16:30
 438                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000003)) }
 439         StorageLive(_34);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:17:9: 17:15
 440         _34 = (const 0u32, const 1u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:17:9: 17:15
 441                                          // ty::Const
 442                                          // + ty: u32
 443                                          // + val: Value(Scalar(0x00000000))
 444                                          // mir::Constant
 445                                          // + span: $DIR/storage_live_dead_in_statics.rs:17:10: 17:11
 446                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 447                                          // ty::Const
 448                                          // + ty: u32
 449                                          // + val: Value(Scalar(0x00000001))
 450                                          // mir::Constant
 451                                          // + span: $DIR/storage_live_dead_in_statics.rs:17:13: 17:14
 452                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000001)) }
 453         StorageLive(_35);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:17:17: 17:23
 454         _35 = (const 0u32, const 2u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:17:17: 17:23
 455                                          // ty::Const
 456                                          // + ty: u32
 457                                          // + val: Value(Scalar(0x00000000))
 458                                          // mir::Constant
 459                                          // + span: $DIR/storage_live_dead_in_statics.rs:17:18: 17:19
 460                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 461                                          // ty::Const
 462                                          // + ty: u32
 463                                          // + val: Value(Scalar(0x00000002))
 464                                          // mir::Constant
 465                                          // + span: $DIR/storage_live_dead_in_statics.rs:17:21: 17:22
 466                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000002)) }
 467         StorageLive(_36);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:17:25: 17:31
 468         _36 = (const 0u32, const 3u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:17:25: 17:31
 469                                          // ty::Const
 470                                          // + ty: u32
 471                                          // + val: Value(Scalar(0x00000000))
 472                                          // mir::Constant
 473                                          // + span: $DIR/storage_live_dead_in_statics.rs:17:26: 17:27
 474                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 475                                          // ty::Const
 476                                          // + ty: u32
 477                                          // + val: Value(Scalar(0x00000003))
 478                                          // mir::Constant
 479                                          // + span: $DIR/storage_live_dead_in_statics.rs:17:29: 17:30
 480                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000003)) }
 481         StorageLive(_37);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:18:9: 18:15
 482         _37 = (const 0u32, const 1u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:18:9: 18:15
 483                                          // ty::Const
 484                                          // + ty: u32
 485                                          // + val: Value(Scalar(0x00000000))
 486                                          // mir::Constant
 487                                          // + span: $DIR/storage_live_dead_in_statics.rs:18:10: 18:11
 488                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 489                                          // ty::Const
 490                                          // + ty: u32
 491                                          // + val: Value(Scalar(0x00000001))
 492                                          // mir::Constant
 493                                          // + span: $DIR/storage_live_dead_in_statics.rs:18:13: 18:14
 494                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000001)) }
 495         StorageLive(_38);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:18:17: 18:23
 496         _38 = (const 0u32, const 2u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:18:17: 18:23
 497                                          // ty::Const
 498                                          // + ty: u32
 499                                          // + val: Value(Scalar(0x00000000))
 500                                          // mir::Constant
 501                                          // + span: $DIR/storage_live_dead_in_statics.rs:18:18: 18:19
 502                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 503                                          // ty::Const
 504                                          // + ty: u32
 505                                          // + val: Value(Scalar(0x00000002))
 506                                          // mir::Constant
 507                                          // + span: $DIR/storage_live_dead_in_statics.rs:18:21: 18:22
 508                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000002)) }
 509         StorageLive(_39);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:18:25: 18:31
 510         _39 = (const 0u32, const 3u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:18:25: 18:31
 511                                          // ty::Const
 512                                          // + ty: u32
 513                                          // + val: Value(Scalar(0x00000000))
 514                                          // mir::Constant
 515                                          // + span: $DIR/storage_live_dead_in_statics.rs:18:26: 18:27
 516                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 517                                          // ty::Const
 518                                          // + ty: u32
 519                                          // + val: Value(Scalar(0x00000003))
 520                                          // mir::Constant
 521                                          // + span: $DIR/storage_live_dead_in_statics.rs:18:29: 18:30
 522                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000003)) }
 523         StorageLive(_40);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:19:9: 19:15
 524         _40 = (const 0u32, const 1u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:19:9: 19:15
 525                                          // ty::Const
 526                                          // + ty: u32
 527                                          // + val: Value(Scalar(0x00000000))
 528                                          // mir::Constant
 529                                          // + span: $DIR/storage_live_dead_in_statics.rs:19:10: 19:11
 530                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 531                                          // ty::Const
 532                                          // + ty: u32
 533                                          // + val: Value(Scalar(0x00000001))
 534                                          // mir::Constant
 535                                          // + span: $DIR/storage_live_dead_in_statics.rs:19:13: 19:14
 536                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000001)) }
 537         StorageLive(_41);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:19:17: 19:23
 538         _41 = (const 0u32, const 2u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:19:17: 19:23
 539                                          // ty::Const
 540                                          // + ty: u32
 541                                          // + val: Value(Scalar(0x00000000))
 542                                          // mir::Constant
 543                                          // + span: $DIR/storage_live_dead_in_statics.rs:19:18: 19:19
 544                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 545                                          // ty::Const
 546                                          // + ty: u32
 547                                          // + val: Value(Scalar(0x00000002))
 548                                          // mir::Constant
 549                                          // + span: $DIR/storage_live_dead_in_statics.rs:19:21: 19:22
 550                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000002)) }
 551         StorageLive(_42);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:19:25: 19:31
 552         _42 = (const 0u32, const 3u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:19:25: 19:31
 553                                          // ty::Const
 554                                          // + ty: u32
 555                                          // + val: Value(Scalar(0x00000000))
 556                                          // mir::Constant
 557                                          // + span: $DIR/storage_live_dead_in_statics.rs:19:26: 19:27
 558                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 559                                          // ty::Const
 560                                          // + ty: u32
 561                                          // + val: Value(Scalar(0x00000003))
 562                                          // mir::Constant
 563                                          // + span: $DIR/storage_live_dead_in_statics.rs:19:29: 19:30
 564                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000003)) }
 565         StorageLive(_43);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:20:9: 20:15
 566         _43 = (const 0u32, const 1u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:20:9: 20:15
 567                                          // ty::Const
 568                                          // + ty: u32
 569                                          // + val: Value(Scalar(0x00000000))
 570                                          // mir::Constant
 571                                          // + span: $DIR/storage_live_dead_in_statics.rs:20:10: 20:11
 572                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 573                                          // ty::Const
 574                                          // + ty: u32
 575                                          // + val: Value(Scalar(0x00000001))
 576                                          // mir::Constant
 577                                          // + span: $DIR/storage_live_dead_in_statics.rs:20:13: 20:14
 578                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000001)) }
 579         StorageLive(_44);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:20:17: 20:23
 580         _44 = (const 0u32, const 2u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:20:17: 20:23
 581                                          // ty::Const
 582                                          // + ty: u32
 583                                          // + val: Value(Scalar(0x00000000))
 584                                          // mir::Constant
 585                                          // + span: $DIR/storage_live_dead_in_statics.rs:20:18: 20:19
 586                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 587                                          // ty::Const
 588                                          // + ty: u32
 589                                          // + val: Value(Scalar(0x00000002))
 590                                          // mir::Constant
 591                                          // + span: $DIR/storage_live_dead_in_statics.rs:20:21: 20:22
 592                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000002)) }
 593         StorageLive(_45);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:20:25: 20:31
 594         _45 = (const 0u32, const 3u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:20:25: 20:31
 595                                          // ty::Const
 596                                          // + ty: u32
 597                                          // + val: Value(Scalar(0x00000000))
 598                                          // mir::Constant
 599                                          // + span: $DIR/storage_live_dead_in_statics.rs:20:26: 20:27
 600                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 601                                          // ty::Const
 602                                          // + ty: u32
 603                                          // + val: Value(Scalar(0x00000003))
 604                                          // mir::Constant
 605                                          // + span: $DIR/storage_live_dead_in_statics.rs:20:29: 20:30
 606                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000003)) }
 607         StorageLive(_46);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:21:9: 21:15
 608         _46 = (const 0u32, const 1u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:21:9: 21:15
 609                                          // ty::Const
 610                                          // + ty: u32
 611                                          // + val: Value(Scalar(0x00000000))
 612                                          // mir::Constant
 613                                          // + span: $DIR/storage_live_dead_in_statics.rs:21:10: 21:11
 614                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 615                                          // ty::Const
 616                                          // + ty: u32
 617                                          // + val: Value(Scalar(0x00000001))
 618                                          // mir::Constant
 619                                          // + span: $DIR/storage_live_dead_in_statics.rs:21:13: 21:14
 620                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000001)) }
 621         StorageLive(_47);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:21:17: 21:23
 622         _47 = (const 0u32, const 2u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:21:17: 21:23
 623                                          // ty::Const
 624                                          // + ty: u32
 625                                          // + val: Value(Scalar(0x00000000))
 626                                          // mir::Constant
 627                                          // + span: $DIR/storage_live_dead_in_statics.rs:21:18: 21:19
 628                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 629                                          // ty::Const
 630                                          // + ty: u32
 631                                          // + val: Value(Scalar(0x00000002))
 632                                          // mir::Constant
 633                                          // + span: $DIR/storage_live_dead_in_statics.rs:21:21: 21:22
 634                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000002)) }
 635         StorageLive(_48);                // scope 0 at $DIR/storage_live_dead_in_statics.rs:21:25: 21:31
 636         _48 = (const 0u32, const 3u32);  // scope 0 at $DIR/storage_live_dead_in_statics.rs:21:25: 21:31
 637                                          // ty::Const
 638                                          // + ty: u32
 639                                          // + val: Value(Scalar(0x00000000))
 640                                          // mir::Constant
 641                                          // + span: $DIR/storage_live_dead_in_statics.rs:21:26: 21:27
 642                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000000)) }
 643                                          // ty::Const
 644                                          // + ty: u32
 645                                          // + val: Value(Scalar(0x00000003))
 646                                          // mir::Constant
 647                                          // + span: $DIR/storage_live_dead_in_statics.rs:21:29: 21:30
 648                                          // + literal: Const { ty: u32, val: Value(Scalar(0x00000003)) }
 649         _6 = [move _7, move _8, move _9, move _10, move _11, move _12, move _13, move _14, move _15, move _16, move _17, move _18, move _19, move _20, move _21, move _22, move _23, move _24, move _25, move _26, move _27, move _28, move _29, move _30, move _31, move _32, move _33, move _34, move _35, move _36, move _37, move _38, move _39, move _40, move _41, move _42, move _43, move _44, move _45, move _46, move _47, move _48]; // scope 0 at $DIR/storage_live_dead_in_statics.rs:7:12: 22:6
 650         _5 = &_6;                        // scope 0 at $DIR/storage_live_dead_in_statics.rs:7:11: 22:6
 651         _4 = &(*_5);                     // scope 0 at $DIR/storage_live_dead_in_statics.rs:7:11: 22:6
 652         _3 = move _4 as &[(u32, u32)] (Pointer(Unsize)); // scope 0 at $DIR/storage_live_dead_in_statics.rs:7:11: 22:6
 653         _2 = Foo { tup: const "hi", data: move _3 }; // scope 0 at $DIR/storage_live_dead_in_statics.rs:5:29: 23:2
 654                                          // ty::Const
 655                                          // + ty: &str
 656                                          // + val: Value(Slice { data: Allocation { bytes: [104, 105], relocations: Relocations(SortedMap { data: [] }), init_mask: InitMask { blocks: [3], len: Size { raw: 2 } }, size: Size { raw: 2 }, align: Align { pow2: 0 }, mutability: Not, extra: () }, start: 0, end: 2 })
 657                                          // mir::Constant
 658                                          // + span: $DIR/storage_live_dead_in_statics.rs:6:10: 6:14
 659                                          // + literal: Const { ty: &str, val: Value(Slice { data: Allocation { bytes: [104, 105], relocations: Relocations(SortedMap { data: [] }), init_mask: InitMask { blocks: [3], len: Size { raw: 2 } }, size: Size { raw: 2 }, align: Align { pow2: 0 }, mutability: Not, extra: () }, start: 0, end: 2 }) }
 660         _1 = &_2;                        // scope 0 at $DIR/storage_live_dead_in_statics.rs:5:28: 23:2
 661         _0 = &(*_1);                     // scope 0 at $DIR/storage_live_dead_in_statics.rs:5:28: 23:2
 662         StorageDead(_5);                 // scope 0 at $DIR/storage_live_dead_in_statics.rs:23:1: 23:2
 663         StorageDead(_1);                 // scope 0 at $DIR/storage_live_dead_in_statics.rs:23:1: 23:2
 664         return;                          // scope 0 at $DIR/storage_live_dead_in_statics.rs:5:1: 23:3
 665     }
 666 }