Home | History | Annotate | Download | only in Checkers

Lines Matching refs:evalCast

379   SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType());
399     BufStart = svalBuilder.evalCast(BufVal, PtrTy, SecondBuf->getType());
492   SVal FirstStart = svalBuilder.evalCast(*firstLoc, CharPtrTy, 
1372     lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType());