Searched refs:SizeNL (Results 1 – 2 of 2) sorted by relevance
1367 std::optional<NonLoc> SizeNL = SizeVal.getAs<NonLoc>(); in memsetAux() local1368 if (!SizeNL) in memsetAux()1383 State->assume(svalBuilder.evalEQ(State, SizeDV, *SizeNL)); in memsetAux()
1945 std::optional<NonLoc> SizeNL = SizeSVal.getAs<NonLoc>(); in checkTaintedness() local1946 auto Cmp = SVB.evalBinOpNN(State, BO_GE, *SizeNL, MaxLength, CmpTy) in checkTaintedness()