Home | History | Annotate | Download | only in Checkers

Lines Matching refs:makeZeroVal

214   DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
1085                             svalBuilder.makeZeroVal(CE->getType()));
1112                                     svalBuilder.makeZeroVal(CE->getType()));
1168       SVal zero = C.getSValBuilder().makeZeroVal(CE->getType());
1731                                     svalBuilder.makeZeroVal(CE->getType()));