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