Searched refs:TopLevelSymRegionTag (Results 1 – 1 of 1) sorted by relevance
216 static const int TopLevelSymRegionTag = 0; in prepareForObjectConstruction() local221 SVal V = SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC, in prepareForObjectConstruction()