Home | History | Annotate | Download | only in Checkers

Lines Matching defs:PtrTy

357   QualType PtrTy = Ctx.getPointerType(Ctx.CharTy);
383   SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType());
388                                           LastOffset, PtrTy);
403     BufStart = svalBuilder.evalCast(BufVal, PtrTy, SecondBuf->getType());
408 PtrTy);
1538     QualType ptrTy = Dst->getType();
1545                                                       *maxLastNL, ptrTy);
1556                                                  *knownStrLength, ptrTy);