Home | History | Annotate | Download | only in Checkers

Lines Matching refs:get_context

1782   CStringLength::EntryMap::Factory &F = state->get_context<CStringLength>();
1834   CStringLength::EntryMap::Factory &F = state->get_context<CStringLength>();