Searched refs:Recorded (Results 1 – 4 of 4) sorted by relevance
82 assert(Recorded && "InlineAdvice should have been informed of the " in ~InlineAdvice()135 assert(!Recorded && "Recording should happen exactly once"); in markRecorded()136 Recorded = true; in markRecorded()140 bool Recorded = false; variable
614 bool Recorded = false; in delPhiValues() local618 if (!Recorded) { in delPhiValues()620 Recorded = true; in delPhiValues()
862 bool Recorded = false; in findRecordInsertForms() local908 Recorded = true; in findRecordInsertForms()913 return Recorded; in findRecordInsertForms()
811 const SVal *Recorded = state->get<CStringLength>(MR); in getCStringLengthForRegion() local812 if (Recorded) in getCStringLengthForRegion()813 return *Recorded; in getCStringLengthForRegion()