Home | History | Annotate | Download | only in exp-sgcheck

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 /* Generate a piece of text showing 'ea' is relative to 'invar', if
900 Invar* inv, Addr ea )
943 /* Print selected parts of an Invar, suitable for use in error
945 static void show_Invar( HChar* buf, Word nBuf, Invar* inv, Word depth )
997 /* Per-thread query cache. Note that the invar can only be Inv_StackN
1003 Invar inv;
1187 Invar invar;
1246 static void preen_global_Invar ( Invar* inv, Addr a, SizeT len )
1303 if (0) { pp_Invar(&ii->invar); VG_(printf)(" x\n"); }
1304 preen_global_Invar( &ii->invar, a, len );
1439 sf->htab[ix].invar.tag = Inv_Unset;
1464 sf->htab[ix].invar.tag = Inv_Unset;
1508 static void classify_address ( /*OUT*/Invar* inv,
1770 Invar* inv;
1771 Invar new_inv;
1791 inv = &iinstance->invar;
1805 /* So generate an Invar and see if it's different from what