Home | History | Annotate | Download | only in Checkers

Lines Matching refs:evalCast

374   SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType());
394     BufStart = svalBuilder.evalCast(BufVal, PtrTy, SecondBuf->getType());
487   SVal FirstStart = svalBuilder.evalCast(*firstLoc, CharPtrTy, 
1327     lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType());