Home | History | Annotate | Download | only in Checkers

Lines Matching refs:SourceSize

175                 uint64_t SourceSize, uint64_t TargetSize, uint64_t NumberKind);
326 uint64_t SourceSize = Ctx.getTypeSize(T);
328 // CHECK: is SourceSize == TargetSize
329 if (SourceSize == TargetSize)
332 // Generate an error. Only generate a sink if 'SourceSize < TargetSize';
338 if (ExplodedNode *N = SourceSize < TargetSize ? C.generateSink()
343 os << (SourceSize == 8 ? "An " : "A ")
344 << SourceSize << " bit integer is used to initialize a CFNumber "
349 if (SourceSize < TargetSize)
350 os << (TargetSize - SourceSize)
353 os << (SourceSize - TargetSize)