Home | History | Annotate | Download | only in Checkers

Lines Matching refs:DV

1218   if (Optional<DefinedOrUnknownSVal> DV = Val.getAs<DefinedOrUnknownSVal>())
1219     return State->assume(*DV, true);