Searched refs:hasEnoughSpace (Results 1 – 1 of 1) sorted by relevance
1986 SVal hasEnoughSpace = svalBuilder.evalBinOpNN( in evalStrcpyCommon() local1991 state->assume(hasEnoughSpace.castAs<DefinedOrUnknownSVal>()); in evalStrcpyCommon()