Searched refs:LinePtrSVal (Results 1 – 1 of 1) sorted by relevance
336 auto LinePtrSVal = getPointeeVal(LinePtrPtrSVal, State)->getAs<DefinedSVal>(); in EnsureGetdelimBufferAndSizeCorrect() local338 if (!LinePtrSVal || !NSVal || NSVal->isUnknown()) in EnsureGetdelimBufferAndSizeCorrect()343 const auto [LinePtrNotNull, LinePtrNull] = State->assume(*LinePtrSVal); in EnsureGetdelimBufferAndSizeCorrect()356 getDynamicExtent(LinePtrNotNull, LinePtrSVal->getAsRegion(), SVB); in EnsureGetdelimBufferAndSizeCorrect()