Home | History | Annotate | Download | only in Checkers

Lines Matching refs:BlockDataRegion

1105   if (isa<BlockDataRegion>(R)) {
1934 const BlockDataRegion *R =
1935 cast<BlockDataRegion>(state->getSVal(BE,
1938 BlockDataRegion::referenced_vars_iterator I = R->referenced_vars_begin(),