reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1942 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV); 1950 svalBuilder.makeZeroVal(CE->getType())); 1968 SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, 1981 if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) { 2009 resultVal = svalBuilder.makeIntVal(compareRes, CE->getType()); 2012 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, CE->getType()); 2017 svalBuilder.evalBinOp(state, op, resultVal, zeroVal, 2018 svalBuilder.getConditionType());