Home | History | Annotate | Download | only in Checkers

Lines Matching defs:FR

1223   FreeReturnValueTy FR = state->get<FreeReturnValue>();
1224 for (FreeReturnValueTy::iterator I = FR.begin(), E = FR.end(); I != E; ++I) {