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

Lines Matching refs:Global

4 /*--- This file checks stack and global array accesses.            ---*/
618 /* A node in a global interval tree. Zero length intervals
621 A global interval tree is a (WordFM GlobalTreeNode* void). There
622 is one global interval tree for the entire process.
699 /* Basically it's an error to add a global block to the tree that
735 overlapping global blocks. */
742 "overlapping global blocks\n");
809 Inv_Global, /* array-typed global block */
833 global blocks. */
835 } Global;
860 VG_(printf)("Global [%#lx,+%lu)",
861 i->Inv.Global.nd->addr, i->Inv.Global.nd->szB);
884 return i1->Inv.Global.nd == i2->Inv.Global.nd;
920 block = inv->Inv.Global.nd->addr;
921 szB = inv->Inv.Global.nd->szB;
968 VG_(sprintf)(buf, "global %s \"%s\" of size %'lu in object with soname \"%s\"",
969 str, inv->Inv.Global.nd->descr->name,
970 inv->Inv.Global.nd->descr->szB,
971 inv->Inv.Global.nd->descr->soname );
1048 /* Additionally, there is one global variable interval tree
1084 // Handle global variable load/unload events //
1101 if (0) VG_(printf)(" new Global size %2lu at %#lx: %s %s\n",
1259 tl_assert(inv->Inv.Global.nd);
1260 tl_assert(inv->Inv.Global.nd->szB > 0);
1261 if (0) VG_(printf)("preen_Invar Global %#lx %lu\n",
1262 inv->Inv.Global.nd->addr,
1263 inv->Inv.Global.nd->szB);
1264 if (0 == cmp_nonempty_intervals(a, len, inv->Inv.Global.nd->addr,
1265 inv->Inv.Global.nd->szB)) {
1585 /* Not in a stack block. Try the global pool. */
1596 inv->Inv.Global.nd = nd;
1619 toadd_addr = inv->Inv.Global.nd->addr;
1620 toadd_szB = inv->Inv.Global.nd->szB;
1628 intersection of the "holes" in the global and stack
1632 the boundary of a stack or global block. In that case
2531 " sg_: global: %'12llu classify\n",