838       Inv;  member
854                      i->Inv.Stack0.addr, i->Inv.Stack0.szB);  in pp_Invar()
858                      i->Inv.StackN.nd->addr, i->Inv.StackN.nd->szB);  in pp_Invar()
862                      i->Inv.Global.nd->addr, i->Inv.Global.nd->szB);  in pp_Invar()
880          return i1->Inv.Stack0.addr == i2->Inv.Stack0.addr  in eq_Invar()
881                 && i1->Inv.Stack0.szB == i2->Inv.Stack0.szB;  in eq_Invar()
883          return i1->Inv.StackN.nd == i2->Inv.StackN.nd;  in eq_Invar()
885          return i1->Inv.Global.nd == i2->Inv.Global.nd;  in eq_Invar()
907                       str, inv->Inv.Stack0.descr->name );  in show_Invar()
912                       str, inv->Inv.StackN.nd->descr->name,  in show_Invar()
913                            depth - inv->Inv.StackN.nd->depth );  in show_Invar()
918                       str, inv->Inv.Global.nd->descr->name,  in show_Invar()
919                            inv->Inv.Global.nd->descr->soname );  in show_Invar()
1200          tl_assert(inv->Inv.Global.nd);  in preen_global_Invar()
1201          tl_assert(inv->Inv.Global.nd->szB > 0);  in preen_global_Invar()
1203                             inv->Inv.Global.nd->addr,  in preen_global_Invar()
1204                             inv->Inv.Global.nd->szB);  in preen_global_Invar()
1205          if (0 == cmp_nonempty_intervals(a, len, inv->Inv.Global.nd->addr,  in preen_global_Invar()
1206                                                  inv->Inv.Global.nd->szB)) {  in preen_global_Invar()
1473            inv->Inv.Stack0.addr  = bea;  in classify_address()
1474            inv->Inv.Stack0.szB   = descr->szB;  in classify_address()
1475            inv->Inv.Stack0.descr = descr;  in classify_address()
1519         inv->Inv.StackN.nd = nd;  in classify_address()
1535         inv->Inv.Global.nd = nd;  in classify_address()
1558            toadd_addr = inv->Inv.Global.nd->addr;  in classify_address()
1559            toadd_szB  = inv->Inv.Global.nd->szB;  in classify_address()
1562            toadd_addr = inv->Inv.StackN.nd->addr;  in classify_address()
1563            toadd_szB  = inv->Inv.StackN.nd->szB;  in classify_address()