Lines Matching defs:GS
785 const GlobalsSpaceRegion *GS = MRMgr.getGlobalsRegion(K);
786 SVal V = svalBuilder.conjureSymbolVal(/* SymbolTag = */ (const void*) GS, Ex, LCtx,
790 B = removeBinding(B, GS);
791 B = addBinding(B, BindingKey::Make(GS, BindingKey::Default), V);
796 Invalidated->push_back(GS);
