Searched refs:getKnownValue (Results 1 – 6 of 6) sorted by relevance
45 const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal V) override;367 if (const llvm::APSInt *KnownRHSValue = getKnownValue(state, rhs)) { in evalBinOpNN()480 if (const llvm::APSInt *RHSValue = getKnownValue(state, rhs)) { in evalBinOpNN()526 if (const llvm::APSInt *RHSValue = getKnownValue(state, rhs)) in evalBinOpNN()929 const llvm::APSInt *SimpleSValBuilder::getKnownValue(ProgramStateRef state, in getKnownValue() function in SimpleSValBuilder
1305 const llvm::APSInt *SizeInt = svalBuilder.getKnownValue(state, Size); in getSizeInElements()
117 const llvm::APSInt *extentInt = svalBuilder.getKnownValue(state, extent); in checkPreStmt()
1847 if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) { in evalStrcmpCommon()
109 virtual const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal val) = 0;
META-INF/ META-INF/MANIFEST.MF default.xsl edu/ edu/umd ...