Home | History | Annotate | Download | only in PathSensitive

Lines Matching refs:StackArgumentsSpaceRegionKind

84     StackArgumentsSpaceRegionKind,
378            k <= StackArgumentsSpaceRegionKind;
401     : StackSpaceRegion(mgr, StackArgumentsSpaceRegionKind, sfc) {}
407     return R->getKind() == StackArgumentsSpaceRegionKind;