Home | History | Annotate | Download | only in Checkers

Lines Matching defs:BufStart

392   SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType());
393   if (Optional<Loc> BufLoc = BufStart.getAs<Loc>()) {
412     BufStart = svalBuilder.evalCast(BufVal, PtrTy, SecondBuf->getType());
413     if (Optional<Loc> BufLoc = BufStart.getAs<Loc>()) {
859   SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType());
860   Optional<Loc> BufLoc = BufStart.getAs<Loc>();