825          } Stack0; /* innermost stack frame */  member
853                      i->Inv.Stack0.addr, i->Inv.Stack0.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()
912          block = inv->Inv.Stack0.addr;  in gen_delta_str()
913          szB   = inv->Inv.Stack0.szB;  in gen_delta_str()
956                       str, inv->Inv.Stack0.descr->name,  in show_Invar()
957                       inv->Inv.Stack0.szB );  in show_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()