Searched refs:freeSpaceNL (Results 1 – 1 of 1) sorted by relevance
1743 std::optional<NonLoc> freeSpaceNL = freeSpace.getAs<NonLoc>(); in evalStrcpyCommon() local1747 if (!freeSpaceNL) in evalStrcpyCommon()1750 state, BO_LE, *strLengthNL, *freeSpaceNL, cmpTy); in evalStrcpyCommon()