Searched refs:Feasible (Results 1 – 1 of 1) sorted by relevance
1263 SVal Feasible = SvalBuilder.evalBinOp(State, Op, SizeV, BufDynSize, in apply() local1265 if (auto F = Feasible.getAs<DefinedOrUnknownSVal>()) in apply()