Searched refs:LinePtrSVal (Results 1 – 1 of 1) sorted by relevance
339 const auto LinePtrSVal = LinePtrValOpt->getAs<DefinedSVal>(); in EnsureGetdelimBufferAndSizeCorrect() local341 if (!LinePtrSVal || !NSVal || NSVal->isUnknown()) in EnsureGetdelimBufferAndSizeCorrect()346 const auto [LinePtrNotNull, LinePtrNull] = State->assume(*LinePtrSVal); in EnsureGetdelimBufferAndSizeCorrect()362 const MemRegion *LinePtrRegion = LinePtrSVal->getAsRegion(); in EnsureGetdelimBufferAndSizeCorrect()