Searched refs:Recorded (Results 1 – 4 of 4) sorted by relevance
84 assert(Recorded && "InlineAdvice should have been informed of the " in ~InlineAdvice()137 assert(!Recorded && "Recording should happen exactly once"); in markRecorded()138 Recorded = true; in markRecorded()142 bool Recorded = false; variable
631 bool Recorded = false; in delPhiValues() local635 if (!Recorded) { in delPhiValues()637 Recorded = true; in delPhiValues()
862 bool Recorded = false; in findRecordInsertForms() local908 Recorded = true; in findRecordInsertForms()913 return Recorded; in findRecordInsertForms()
835 const SVal *Recorded = state->get<CStringLength>(MR); in getCStringLengthForRegion() local836 if (Recorded) in getCStringLengthForRegion()837 return *Recorded; in getCStringLengthForRegion()