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()
1531 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); in CallocMem() local1533 return MallocMemAux(C, CE, TotalSize, zeroVal, state); in CallocMem()