[Cannotate] Precondition ' if (f->sizeabslineinfo == 0 || pc < f->abslineinfo[0].pc) ' only give 'f'
As title, should generate more for pre-conditions
if (f->sizeabslineinfo == 0 || pc < f->abslineinfo[0].pc)
As title, should generate more for pre-conditions
if (f->sizeabslineinfo == 0 || pc < f->abslineinfo[0].pc)