Searched refs:getKnownValue (Results 1 – 5 of 5) sorted by relevance
45 virtual const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal V);362 if (const llvm::APSInt *KnownRHSValue = getKnownValue(state, rhs)) { in evalBinOpNN()471 if (const llvm::APSInt *RHSValue = getKnownValue(state, rhs)) { in evalBinOpNN()517 if (const llvm::APSInt *RHSValue = getKnownValue(state, rhs)) in evalBinOpNN()934 const llvm::APSInt *SimpleSValBuilder::getKnownValue(ProgramStateRef state, in getKnownValue() function in SimpleSValBuilder
853 const llvm::APSInt *SizeInt = svalBuilder.getKnownValue(state, Size); in getSizeInElements()
58 const llvm::APSInt *extentInt = svalBuilder.getKnownValue(state, extent); in checkPreStmt()
1727 if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) { in evalStrcmpCommon()
109 virtual const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal val) = 0;