Searched defs:zeroVal (Results 1 – 2 of 2) sorted by relevance
1388 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); checkGMalloc0() local 2684 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy); CallocMem() local
2253 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, Call.getResultType()); evalStrcmpCommon() local