Home | History | Annotate | Download | only in Checkers

Lines Matching full:targetsize

152                 uint64_t SourceSize, uint64_t TargetSize, uint64_t NumberKind);
276 Optional<uint64_t> TargetSize = GetCFNumberSize(Ctx, NumberKind);
279 if (!TargetSize.isKnown())
307 // CHECK: is SourceSize == TargetSize
308 if (SourceSize == TargetSize)
311 // Generate an error. Only generate a sink if 'SourceSize < TargetSize';
317 if (ExplodedNode *N = SourceSize < TargetSize ? C.generateSink()
325 << (TargetSize == 8 ? "an " : "a ")
326 << TargetSize << " bit integer. ";
328 if (SourceSize < TargetSize)
329 os << (TargetSize - SourceSize)
332 os << (SourceSize - TargetSize)