Searched refs:dstStrLengthNL (Results 1 – 1 of 1) sorted by relevance
1500 if (Optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>()) { in evalStrcpyCommon() local1503 *dstStrLengthNL, in evalStrcpyCommon()1600 Optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>(); in evalStrcpyCommon() local1603 if (srcStrLengthNL && dstStrLengthNL) { in evalStrcpyCommon()1605 state = checkAdditionOverflow(C, state, *srcStrLengthNL, *dstStrLengthNL); in evalStrcpyCommon()1610 *dstStrLengthNL, sizeTy); in evalStrcpyCommon()1634 if (dstStrLengthNL) { in evalStrcpyCommon()1638 *dstStrLengthNL, in evalStrcpyCommon()