Home | History | Annotate | Download | only in Checkers

Lines Matching refs:TargetSize

320                 uint64_t SourceSize, uint64_t TargetSize, uint64_t NumberKind);
426 uint64_t TargetSize = *OptTargetSize;
453 // CHECK: is SourceSize == TargetSize
454 if (SourceSize == TargetSize)
457 // Generate an error. Only generate a sink if 'SourceSize < TargetSize';
463 if (ExplodedNode *N = SourceSize < TargetSize ? C.generateSink()
471 << (TargetSize == 8 ? "an " : "a ")
472 << TargetSize << " bit integer. ";
474 if (SourceSize < TargetSize)
475 os << (TargetSize - SourceSize)
478 os << (SourceSize - TargetSize)