Lines Matching full:invar
796 // Invar //
840 Invar;
842 /* Partial debugging printing for an Invar. */
843 static void pp_Invar ( Invar* i )
870 static Bool eq_Invar ( Invar* i1, Invar* i2 )
893 /* Print selected parts of an Invar, suitable for use in error
895 static void show_Invar( HChar* buf, Word nBuf, Invar* inv, Word depth )
944 /* Per-thread query cache. Note that the invar can only be Inv_StackN
950 Invar inv;
1134 Invar invar;
1193 static void preen_global_Invar ( Invar* inv, Addr a, SizeT len )
1250 if (0) { pp_Invar(&ii->invar); VG_(printf)(" x\n"); }
1251 preen_global_Invar( &ii->invar, a, len );
1386 sf->htab[ix].invar.tag = Inv_Unset;
1411 sf->htab[ix].invar.tag = Inv_Unset;
1455 static void classify_address ( /*OUT*/Invar* inv,
1717 Invar* inv;
1718 Invar new_inv;
1738 inv = &iinstance->invar;
1752 /* So generate an Invar and see if it's different from what
