Searched refs:zeroVal (Results 1 – 2 of 2) sorted by relevance
84 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy); in checkBind() local86 svalBuilder.evalBinOp(state, BO_GE, *DV, zeroVal, in checkBind()
2003 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in CallocMem() local2005 return MallocMemAux(C, CE, TotalSize, zeroVal, State); in CallocMem()