Home | History | Annotate | Download | only in Checkers

Lines Matching refs:DefinedSVal

575   Optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>();
581   DefinedSVal zero =
582       svalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>();
892   Optional<DefinedSVal> KnownCollection = CollectionVal.getAs<DefinedSVal>();
963   Optional<DefinedSVal> CountGreaterThanZero =
964     CountGreaterThanZeroVal.getAs<DefinedSVal>();