Home | History | Annotate | Download | only in Checkers

Lines Matching refs:BlockDataRegion

2580   const BlockDataRegion *R =
2581 cast<BlockDataRegion>(state->getSVal(BE,
2584 BlockDataRegion::referenced_vars_iterator I = R->referenced_vars_begin(),