Lines Matching defs:GS
752 const GlobalsSpaceRegion *GS = MRMgr.getGlobalsRegion(K);
754 svalBuilder.getConjuredSymbolVal(/* SymbolTag = */ (void*) GS, Ex, LCtx,
758 B = removeBinding(B, GS);
759 B = addBinding(B, BindingKey::Make(GS, BindingKey::Default), V);
764 Invalidated->push_back(GS);
