Home | History | Annotate | Download | only in Checkers

Lines Matching refs:DV

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