Home | History | Annotate | Download | only in Checkers

Lines Matching refs:DefinedSVal

536   Optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>();
542   DefinedSVal zero =
543       svalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>();
848   Optional<DefinedSVal> KnownCollection = CollectionVal.getAs<DefinedSVal>();
919   Optional<DefinedSVal> CountGreaterThanZero =
920     CountGreaterThanZeroVal.getAs<DefinedSVal>();