Searched refs:Recorded (Results 1 – 1 of 1) sorted by relevance
667 const SVal *Recorded = state->get<CStringLength>(MR); in getCStringLengthForRegion() local668 if (Recorded) in getCStringLengthForRegion()669 return *Recorded; in getCStringLengthForRegion()