837       Inv;  member
853                      i->Inv.Stack0.addr, i->Inv.Stack0.szB);  in pp_Invar()
857                      i->Inv.StackN.nd->addr, i->Inv.StackN.nd->szB);  in pp_Invar()
861                      i->Inv.Global.nd->addr, i->Inv.Global.nd->szB);  in pp_Invar()
879          return i1->Inv.Stack0.addr == i2->Inv.Stack0.addr  in eq_Invar()
880                 && i1->Inv.Stack0.szB == i2->Inv.Stack0.szB;  in eq_Invar()
882          return i1->Inv.StackN.nd == i2->Inv.StackN.nd;  in eq_Invar()
884          return i1->Inv.Global.nd == i2->Inv.Global.nd;  in eq_Invar()
912          block = inv->Inv.Stack0.addr;  in gen_delta_str()
913          szB   = inv->Inv.Stack0.szB;  in gen_delta_str()
916          block = inv->Inv.StackN.nd->addr;  in gen_delta_str()
917          szB   = inv->Inv.StackN.nd->szB;  in gen_delta_str()
920          block = inv->Inv.Global.nd->addr;  in gen_delta_str()
921          szB = inv->Inv.Global.nd->szB;  in gen_delta_str()
956                       str, inv->Inv.Stack0.descr->name,  in show_Invar()
957                       inv->Inv.Stack0.szB );  in show_Invar()
962                       str, inv->Inv.StackN.nd->descr->name,  in show_Invar()
963                            inv->Inv.StackN.nd->descr->szB,  in show_Invar()
964                            depth - inv->Inv.StackN.nd->depth );  in show_Invar()
969                       str, inv->Inv.Global.nd->descr->name,  in show_Invar()
970                            inv->Inv.Global.nd->descr->szB,  in show_Invar()
971                            inv->Inv.Global.nd->descr->soname );  in show_Invar()
1259          tl_assert(inv->Inv.Global.nd);  in preen_global_Invar()
1260          tl_assert(inv->Inv.Global.nd->szB > 0);  in preen_global_Invar()
1262                             inv->Inv.Global.nd->addr,  in preen_global_Invar()
1263                             inv->Inv.Global.nd->szB);  in preen_global_Invar()
1264          if (0 == cmp_nonempty_intervals(a, len, inv->Inv.Global.nd->addr,  in preen_global_Invar()
1265                                                  inv->Inv.Global.nd->szB)) {  in preen_global_Invar()
1534            inv->Inv.Stack0.addr  = bea;  in classify_address()
1535            inv->Inv.Stack0.szB   = descr->szB;  in classify_address()
1536            inv->Inv.Stack0.descr = descr;  in classify_address()
1580         inv->Inv.StackN.nd = nd;  in classify_address()
1596         inv->Inv.Global.nd = nd;  in classify_address()
1619            toadd_addr = inv->Inv.Global.nd->addr;  in classify_address()
1620            toadd_szB  = inv->Inv.Global.nd->szB;  in classify_address()
1623            toadd_addr = inv->Inv.StackN.nd->addr;  in classify_address()
1624            toadd_szB  = inv->Inv.StackN.nd->szB;  in classify_address()