Home | History | Annotate | Download | only in Checkers

Lines Matching refs:BlockDataRegion

1345   if (isa<BlockDataRegion>(R)) {
2256 const BlockDataRegion *R =
2257 cast<BlockDataRegion>(state->getSVal(BE,
2260 BlockDataRegion::referenced_vars_iterator I = R->referenced_vars_begin(),