Home | History | Annotate | Download | only in Core

Lines Matching refs:makeZeroVal

627     V = getSValBuilder().makeZeroVal(T);
806       SVal X = svalBuilder.makeZeroVal(Ex->getType());
949         svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType()));
955                                        svalBuilder.makeZeroVal(U->getType()));