Searched refs:InnerPointerVal (Results 1 – 1 of 1) sorted by relevance
448 SVal InnerPointerVal; in handleGet() local450 InnerPointerVal = *InnerValPtr; in handleGet()453 InnerPointerVal = C.getSValBuilder().conjureSymbolVal( in handleGet()455 State = State->set<TrackedRegionMap>(ThisRegion, InnerPointerVal); in handleGet()459 InnerPointerVal); in handleGet()569 SVal InnerPointerVal; in handleBoolConversion() local571 InnerPointerVal = *InnerValPtr; in handleBoolConversion()580 InnerPointerVal = C.getSValBuilder().conjureSymbolVal( in handleBoolConversion()582 State = State->set<TrackedRegionMap>(ThisRegion, InnerPointerVal); in handleBoolConversion()585 if (State->isNull(InnerPointerVal).isConstrainedTrue()) { in handleBoolConversion()[all …]