Searched defs:zeroVal (Results 1 – 2 of 2) sorted by relevance
84 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy); in checkBind() local
1769 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in CallocMem() local