Searched refs:dstStrLengthNL (Results 1 – 1 of 1) sorted by relevance
1419 if (Optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>()) { in evalStrcpyCommon() local1422 *dstStrLengthNL, in evalStrcpyCommon()1519 Optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>(); in evalStrcpyCommon() local1522 if (srcStrLengthNL && dstStrLengthNL) { in evalStrcpyCommon()1524 state = checkAdditionOverflow(C, state, *srcStrLengthNL, *dstStrLengthNL); in evalStrcpyCommon()1529 *dstStrLengthNL, sizeTy); in evalStrcpyCommon()1553 if (dstStrLengthNL) { in evalStrcpyCommon()1557 *dstStrLengthNL, in evalStrcpyCommon()