Skip to content

Instantly share code, notes, and snippets.

@utaal
Created June 29, 2020 12:42
Show Gist options
  • Save utaal/a88be7de8cbdd1e36c8a0a177489bdcf to your computer and use it in GitHub Desktop.
Save utaal/a88be7de8cbdd1e36c8a0a177489bdcf to your computer and use it in GitHub Desktop.
# errors
# move_errors
move_errors "Mid(bb2[4])" "mp1"
# subset_errors
# restricts
# restricts_anywhere
# origin_live_on_entry
origin_live_on_entry "Start(bb0[0])" "\'_#0r"
origin_live_on_entry "Start(bb0[0])" "\'_#1r"
origin_live_on_entry "Mid(bb0[0])" "\'_#0r"
origin_live_on_entry "Mid(bb0[0])" "\'_#1r"
origin_live_on_entry "Start(bb0[1])" "\'_#0r"
origin_live_on_entry "Start(bb0[1])" "\'_#1r"
origin_live_on_entry "Mid(bb0[1])" "\'_#0r"
origin_live_on_entry "Mid(bb0[1])" "\'_#1r"
origin_live_on_entry "Start(bb0[2])" "\'_#0r"
origin_live_on_entry "Start(bb0[2])" "\'_#1r"
origin_live_on_entry "Mid(bb0[2])" "\'_#0r"
origin_live_on_entry "Mid(bb0[2])" "\'_#1r"
origin_live_on_entry "Start(bb0[3])" "\'_#0r"
origin_live_on_entry "Start(bb0[3])" "\'_#1r"
origin_live_on_entry "Mid(bb0[3])" "\'_#0r"
origin_live_on_entry "Mid(bb0[3])" "\'_#1r"
origin_live_on_entry "Start(bb0[4])" "\'_#0r"
origin_live_on_entry "Start(bb0[4])" "\'_#1r"
origin_live_on_entry "Mid(bb0[4])" "\'_#0r"
origin_live_on_entry "Mid(bb0[4])" "\'_#1r"
origin_live_on_entry "Start(bb0[5])" "\'_#0r"
origin_live_on_entry "Start(bb0[5])" "\'_#1r"
origin_live_on_entry "Mid(bb0[5])" "\'_#0r"
origin_live_on_entry "Mid(bb0[5])" "\'_#1r"
origin_live_on_entry "Start(bb0[6])" "\'_#0r"
origin_live_on_entry "Start(bb0[6])" "\'_#1r"
origin_live_on_entry "Mid(bb0[6])" "\'_#0r"
origin_live_on_entry "Mid(bb0[6])" "\'_#1r"
origin_live_on_entry "Start(bb0[7])" "\'_#0r"
origin_live_on_entry "Start(bb0[7])" "\'_#1r"
origin_live_on_entry "Mid(bb0[7])" "\'_#0r"
origin_live_on_entry "Mid(bb0[7])" "\'_#1r"
origin_live_on_entry "Start(bb0[8])" "\'_#0r"
origin_live_on_entry "Start(bb0[8])" "\'_#1r"
origin_live_on_entry "Mid(bb0[8])" "\'_#0r"
origin_live_on_entry "Mid(bb0[8])" "\'_#1r"
origin_live_on_entry "Start(bb0[9])" "\'_#0r"
origin_live_on_entry "Start(bb0[9])" "\'_#1r"
origin_live_on_entry "Mid(bb0[9])" "\'_#0r"
origin_live_on_entry "Mid(bb0[9])" "\'_#1r"
origin_live_on_entry "Start(bb0[10])" "\'_#0r"
origin_live_on_entry "Start(bb0[10])" "\'_#1r"
origin_live_on_entry "Mid(bb0[10])" "\'_#0r"
origin_live_on_entry "Mid(bb0[10])" "\'_#1r"
origin_live_on_entry "Start(bb2[0])" "\'_#0r"
origin_live_on_entry "Start(bb2[0])" "\'_#1r"
origin_live_on_entry "Start(bb1[0])" "\'_#0r"
origin_live_on_entry "Start(bb1[0])" "\'_#1r"
origin_live_on_entry "Mid(bb1[0])" "\'_#0r"
origin_live_on_entry "Mid(bb1[0])" "\'_#1r"
origin_live_on_entry "Mid(bb2[0])" "\'_#0r"
origin_live_on_entry "Mid(bb2[0])" "\'_#1r"
origin_live_on_entry "Start(bb2[1])" "\'_#0r"
origin_live_on_entry "Start(bb2[1])" "\'_#1r"
origin_live_on_entry "Mid(bb2[1])" "\'_#0r"
origin_live_on_entry "Mid(bb2[1])" "\'_#1r"
origin_live_on_entry "Start(bb2[2])" "\'_#0r"
origin_live_on_entry "Start(bb2[2])" "\'_#1r"
origin_live_on_entry "Mid(bb2[2])" "\'_#0r"
origin_live_on_entry "Mid(bb2[2])" "\'_#1r"
origin_live_on_entry "Start(bb2[3])" "\'_#0r"
origin_live_on_entry "Start(bb2[3])" "\'_#1r"
origin_live_on_entry "Mid(bb2[3])" "\'_#0r"
origin_live_on_entry "Mid(bb2[3])" "\'_#1r"
origin_live_on_entry "Start(bb2[4])" "\'_#0r"
origin_live_on_entry "Start(bb2[4])" "\'_#1r"
origin_live_on_entry "Mid(bb2[4])" "\'_#0r"
origin_live_on_entry "Mid(bb2[4])" "\'_#1r"
origin_live_on_entry "Start(bb2[5])" "\'_#0r"
origin_live_on_entry "Start(bb2[5])" "\'_#1r"
origin_live_on_entry "Mid(bb2[5])" "\'_#0r"
origin_live_on_entry "Mid(bb2[5])" "\'_#1r"
origin_live_on_entry "Start(bb3[0])" "\'_#0r"
origin_live_on_entry "Start(bb3[0])" "\'_#1r"
origin_live_on_entry "Mid(bb3[0])" "\'_#0r"
origin_live_on_entry "Mid(bb3[0])" "\'_#1r"
origin_live_on_entry "Start(bb3[1])" "\'_#0r"
origin_live_on_entry "Start(bb3[1])" "\'_#1r"
origin_live_on_entry "Mid(bb3[1])" "\'_#0r"
origin_live_on_entry "Mid(bb3[1])" "\'_#1r"
origin_live_on_entry "Start(bb3[2])" "\'_#0r"
origin_live_on_entry "Start(bb3[2])" "\'_#1r"
origin_live_on_entry "Mid(bb3[2])" "\'_#0r"
origin_live_on_entry "Mid(bb3[2])" "\'_#1r"
origin_live_on_entry "Start(bb3[3])" "\'_#0r"
origin_live_on_entry "Start(bb3[3])" "\'_#1r"
origin_live_on_entry "Mid(bb3[3])" "\'_#0r"
origin_live_on_entry "Mid(bb3[3])" "\'_#1r"
origin_live_on_entry "Start(bb3[4])" "\'_#0r"
origin_live_on_entry "Start(bb3[4])" "\'_#1r"
origin_live_on_entry "Mid(bb3[4])" "\'_#0r"
origin_live_on_entry "Mid(bb3[4])" "\'_#1r"
# invalidates
# borrow_live_at
# subset_anywhere
# known_contains
known_contains "\'_#0r" "bw0"
known_contains "\'_#1r" "bw0"
known_contains "\'_#1r" "bw1"
# var_live_on_entry
var_live_on_entry "Start(bb0[3])" "_2"
var_live_on_entry "Mid(bb0[3])" "_2"
var_live_on_entry "Start(bb0[4])" "_1"
var_live_on_entry "Mid(bb0[4])" "_1"
var_live_on_entry "Start(bb0[5])" "_1"
var_live_on_entry "Mid(bb0[5])" "_1"
var_live_on_entry "Start(bb0[6])" "_1"
var_live_on_entry "Mid(bb0[6])" "_1"
var_live_on_entry "Start(bb0[7])" "_1"
var_live_on_entry "Mid(bb0[7])" "_1"
var_live_on_entry "Start(bb0[8])" "_1"
var_live_on_entry "Mid(bb0[8])" "_1"
var_live_on_entry "Start(bb0[9])" "_1"
var_live_on_entry "Mid(bb0[9])" "_1"
var_live_on_entry "Start(bb0[10])" "_1"
var_live_on_entry "Start(bb0[10])" "_4"
var_live_on_entry "Mid(bb0[10])" "_1"
var_live_on_entry "Mid(bb0[10])" "_4"
var_live_on_entry "Start(bb2[0])" "_1"
var_live_on_entry "Mid(bb2[0])" "_1"
var_live_on_entry "Start(bb2[1])" "_1"
var_live_on_entry "Mid(bb2[1])" "_1"
var_live_on_entry "Start(bb2[2])" "_1"
var_live_on_entry "Mid(bb2[2])" "_1"
var_live_on_entry "Start(bb2[3])" "_1"
var_live_on_entry "Mid(bb2[3])" "_1"
var_live_on_entry "Start(bb2[4])" "_1"
var_live_on_entry "Mid(bb2[4])" "_1"
var_live_on_entry "Start(bb2[5])" "_6"
var_live_on_entry "Mid(bb2[5])" "_6"
var_live_on_entry "Start(bb3[3])" "_0"
var_live_on_entry "Mid(bb3[3])" "_0"
var_live_on_entry "Start(bb3[4])" "_0"
var_live_on_entry "Mid(bb3[4])" "_0"
# var_drop_live_on_entry
# path_maybe_initialized_on_exit
path_maybe_initialized_on_exit "Mid(bb0[2])" "mp2"
path_maybe_initialized_on_exit "Start(bb0[3])" "mp2"
path_maybe_initialized_on_exit "Mid(bb0[3])" "mp1"
path_maybe_initialized_on_exit "Start(bb0[4])" "mp1"
path_maybe_initialized_on_exit "Mid(bb0[4])" "mp1"
path_maybe_initialized_on_exit "Start(bb0[5])" "mp1"
path_maybe_initialized_on_exit "Mid(bb0[5])" "mp1"
path_maybe_initialized_on_exit "Start(bb0[6])" "mp1"
path_maybe_initialized_on_exit "Mid(bb0[6])" "mp1"
path_maybe_initialized_on_exit "Start(bb0[7])" "mp1"
path_maybe_initialized_on_exit "Mid(bb0[7])" "mp1"
path_maybe_initialized_on_exit "Start(bb0[8])" "mp1"
path_maybe_initialized_on_exit "Mid(bb0[8])" "mp1"
path_maybe_initialized_on_exit "Start(bb0[9])" "mp1"
path_maybe_initialized_on_exit "Mid(bb0[9])" "mp4"
path_maybe_initialized_on_exit "Start(bb0[10])" "mp4"
path_maybe_initialized_on_exit "Start(bb2[0])" "mp3"
path_maybe_initialized_on_exit "Mid(bb2[0])" "mp3"
path_maybe_initialized_on_exit "Start(bb2[1])" "mp3"
path_maybe_initialized_on_exit "Mid(bb2[4])" "mp6"
path_maybe_initialized_on_exit "Start(bb2[5])" "mp6"
path_maybe_initialized_on_exit "Start(bb3[0])" "mp5"
path_maybe_initialized_on_exit "Mid(bb3[0])" "mp5"
path_maybe_initialized_on_exit "Start(bb3[1])" "mp5"
path_maybe_initialized_on_exit "Mid(bb3[2])" "mp0"
path_maybe_initialized_on_exit "Start(bb3[3])" "mp0"
path_maybe_initialized_on_exit "Mid(bb3[3])" "mp0"
path_maybe_initialized_on_exit "Start(bb3[4])" "mp0"
# path_maybe_uninitialized_on_exit
path_maybe_uninitialized_on_exit "Start(bb0[0])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb0[0])" "mp1"
path_maybe_uninitialized_on_exit "Start(bb0[0])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb0[0])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb0[0])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb0[0])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb0[0])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb0[0])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb0[0])" "mp1"
path_maybe_uninitialized_on_exit "Mid(bb0[0])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb0[0])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb0[0])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb0[0])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb0[0])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb0[1])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb0[1])" "mp1"
path_maybe_uninitialized_on_exit "Start(bb0[1])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb0[1])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb0[1])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb0[1])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb0[1])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb0[1])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb0[1])" "mp1"
path_maybe_uninitialized_on_exit "Mid(bb0[1])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb0[1])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb0[1])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb0[1])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb0[1])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb0[2])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb0[2])" "mp1"
path_maybe_uninitialized_on_exit "Start(bb0[2])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb0[2])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb0[2])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb0[2])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb0[2])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb0[2])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb0[2])" "mp1"
path_maybe_uninitialized_on_exit "Mid(bb0[2])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb0[2])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb0[2])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb0[2])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb0[3])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb0[3])" "mp1"
path_maybe_uninitialized_on_exit "Start(bb0[3])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb0[3])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb0[3])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb0[3])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb0[3])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb0[3])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb0[3])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb0[3])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb0[3])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb0[3])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb0[4])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb0[4])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb0[4])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb0[4])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb0[4])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb0[4])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb0[4])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb0[4])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb0[4])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb0[4])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb0[4])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb0[4])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb0[5])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb0[5])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb0[5])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb0[5])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb0[5])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb0[5])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb0[5])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb0[5])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb0[5])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb0[5])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb0[5])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb0[5])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb0[6])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb0[6])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb0[6])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb0[6])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb0[6])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb0[6])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb0[6])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb0[6])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb0[6])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb0[6])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb0[6])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb0[6])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb0[7])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb0[7])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb0[7])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb0[7])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb0[7])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb0[7])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb0[7])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb0[7])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb0[7])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb0[7])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb0[7])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb0[7])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb0[8])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb0[8])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb0[8])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb0[8])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb0[8])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb0[8])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb0[8])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb0[8])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb0[8])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb0[8])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb0[8])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb0[8])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb0[9])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb0[9])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb0[9])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb0[9])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb0[9])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb0[9])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb0[9])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb0[9])" "mp1"
path_maybe_uninitialized_on_exit "Mid(bb0[9])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb0[9])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb0[9])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb0[9])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb0[10])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb0[10])" "mp1"
path_maybe_uninitialized_on_exit "Start(bb0[10])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb0[10])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb0[10])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb0[10])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb0[10])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb0[10])" "mp1"
path_maybe_uninitialized_on_exit "Mid(bb0[10])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb0[10])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb0[10])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb0[10])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb0[10])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb2[0])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb2[0])" "mp1"
path_maybe_uninitialized_on_exit "Start(bb2[0])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb2[0])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb2[0])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb2[0])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb1[0])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb1[0])" "mp1"
path_maybe_uninitialized_on_exit "Start(bb1[0])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb1[0])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb1[0])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb1[0])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb1[0])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb1[0])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb1[0])" "mp1"
path_maybe_uninitialized_on_exit "Mid(bb1[0])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb1[0])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb1[0])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb1[0])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb1[0])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb2[0])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb2[0])" "mp1"
path_maybe_uninitialized_on_exit "Mid(bb2[0])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb2[0])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb2[0])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb2[0])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb2[1])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb2[1])" "mp1"
path_maybe_uninitialized_on_exit "Start(bb2[1])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb2[1])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb2[1])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb2[1])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb2[1])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb2[1])" "mp1"
path_maybe_uninitialized_on_exit "Mid(bb2[1])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb2[1])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb2[1])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb2[1])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb2[1])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb2[2])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb2[2])" "mp1"
path_maybe_uninitialized_on_exit "Start(bb2[2])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb2[2])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb2[2])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb2[2])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb2[2])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb2[2])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb2[2])" "mp1"
path_maybe_uninitialized_on_exit "Mid(bb2[2])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb2[2])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb2[2])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb2[2])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb2[2])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb2[3])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb2[3])" "mp1"
path_maybe_uninitialized_on_exit "Start(bb2[3])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb2[3])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb2[3])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb2[3])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb2[3])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb2[3])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb2[3])" "mp1"
path_maybe_uninitialized_on_exit "Mid(bb2[3])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb2[3])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb2[3])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb2[3])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb2[3])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb2[4])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb2[4])" "mp1"
path_maybe_uninitialized_on_exit "Start(bb2[4])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb2[4])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb2[4])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb2[4])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb2[4])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb2[4])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb2[4])" "mp1"
path_maybe_uninitialized_on_exit "Mid(bb2[4])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb2[4])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb2[4])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb2[4])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb2[5])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb2[5])" "mp1"
path_maybe_uninitialized_on_exit "Start(bb2[5])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb2[5])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb2[5])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb2[5])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb2[5])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb2[5])" "mp1"
path_maybe_uninitialized_on_exit "Mid(bb2[5])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb2[5])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb2[5])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb2[5])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb2[5])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb3[0])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb3[0])" "mp1"
path_maybe_uninitialized_on_exit "Start(bb3[0])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb3[0])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb3[0])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb3[0])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb3[0])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb3[0])" "mp1"
path_maybe_uninitialized_on_exit "Mid(bb3[0])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb3[0])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb3[0])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb3[0])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb3[1])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb3[1])" "mp1"
path_maybe_uninitialized_on_exit "Start(bb3[1])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb3[1])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb3[1])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb3[1])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb3[1])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb3[1])" "mp1"
path_maybe_uninitialized_on_exit "Mid(bb3[1])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb3[1])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb3[1])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb3[1])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb3[1])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb3[2])" "mp0"
path_maybe_uninitialized_on_exit "Start(bb3[2])" "mp1"
path_maybe_uninitialized_on_exit "Start(bb3[2])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb3[2])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb3[2])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb3[2])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb3[2])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb3[2])" "mp1"
path_maybe_uninitialized_on_exit "Mid(bb3[2])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb3[2])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb3[2])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb3[2])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb3[2])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb3[3])" "mp1"
path_maybe_uninitialized_on_exit "Start(bb3[3])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb3[3])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb3[3])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb3[3])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb3[3])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb3[3])" "mp1"
path_maybe_uninitialized_on_exit "Mid(bb3[3])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb3[3])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb3[3])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb3[3])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb3[3])" "mp6"
path_maybe_uninitialized_on_exit "Start(bb3[4])" "mp1"
path_maybe_uninitialized_on_exit "Start(bb3[4])" "mp2"
path_maybe_uninitialized_on_exit "Start(bb3[4])" "mp3"
path_maybe_uninitialized_on_exit "Start(bb3[4])" "mp4"
path_maybe_uninitialized_on_exit "Start(bb3[4])" "mp5"
path_maybe_uninitialized_on_exit "Start(bb3[4])" "mp6"
path_maybe_uninitialized_on_exit "Mid(bb3[4])" "mp0"
path_maybe_uninitialized_on_exit "Mid(bb3[4])" "mp1"
path_maybe_uninitialized_on_exit "Mid(bb3[4])" "mp2"
path_maybe_uninitialized_on_exit "Mid(bb3[4])" "mp3"
path_maybe_uninitialized_on_exit "Mid(bb3[4])" "mp4"
path_maybe_uninitialized_on_exit "Mid(bb3[4])" "mp5"
path_maybe_uninitialized_on_exit "Mid(bb3[4])" "mp6"
# var_maybe_partly_initialized_on_exit
var_maybe_partly_initialized_on_exit "Mid(bb0[2])" "_2"
var_maybe_partly_initialized_on_exit "Start(bb0[3])" "_2"
var_maybe_partly_initialized_on_exit "Mid(bb0[3])" "_1"
var_maybe_partly_initialized_on_exit "Start(bb0[4])" "_1"
var_maybe_partly_initialized_on_exit "Mid(bb0[4])" "_1"
var_maybe_partly_initialized_on_exit "Start(bb0[5])" "_1"
var_maybe_partly_initialized_on_exit "Mid(bb0[5])" "_1"
var_maybe_partly_initialized_on_exit "Start(bb0[6])" "_1"
var_maybe_partly_initialized_on_exit "Mid(bb0[6])" "_1"
var_maybe_partly_initialized_on_exit "Start(bb0[7])" "_1"
var_maybe_partly_initialized_on_exit "Mid(bb0[7])" "_1"
var_maybe_partly_initialized_on_exit "Start(bb0[8])" "_1"
var_maybe_partly_initialized_on_exit "Mid(bb0[8])" "_1"
var_maybe_partly_initialized_on_exit "Start(bb0[9])" "_1"
var_maybe_partly_initialized_on_exit "Mid(bb0[9])" "_4"
var_maybe_partly_initialized_on_exit "Start(bb0[10])" "_4"
var_maybe_partly_initialized_on_exit "Start(bb2[0])" "_3"
var_maybe_partly_initialized_on_exit "Mid(bb2[0])" "_3"
var_maybe_partly_initialized_on_exit "Start(bb2[1])" "_3"
var_maybe_partly_initialized_on_exit "Mid(bb2[4])" "_6"
var_maybe_partly_initialized_on_exit "Start(bb2[5])" "_6"
var_maybe_partly_initialized_on_exit "Start(bb3[0])" "_5"
var_maybe_partly_initialized_on_exit "Mid(bb3[0])" "_5"
var_maybe_partly_initialized_on_exit "Start(bb3[1])" "_5"
var_maybe_partly_initialized_on_exit "Mid(bb3[2])" "_0"
var_maybe_partly_initialized_on_exit "Start(bb3[3])" "_0"
var_maybe_partly_initialized_on_exit "Mid(bb3[3])" "_0"
var_maybe_partly_initialized_on_exit "Start(bb3[4])" "_0"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment