Searched refs:getConcreteValue (Results 1 – 4 of 4) sorted by relevance
364 static std::optional<int64_t> getConcreteValue(NonLoc SV) { in getConcreteValue() function371 static std::optional<int64_t> getConcreteValue(std::optional<NonLoc> SV) { in getConcreteValue() function372 return SV ? getConcreteValue(*SV) : std::nullopt; in getConcreteValue()378 if (auto ConcreteOffset = getConcreteValue(Offset)) in getPrecedesMsgs()414 std::optional<int64_t> OffsetN = getConcreteValue(Offset); in getExceedsMsgs()415 std::optional<int64_t> ExtentN = getConcreteValue(Extent); in getExceedsMsgs()491 std::optional<int64_t> OffsetN = getConcreteValue(ByteOffsetVal); in getMessage()492 std::optional<int64_t> ExtentN = getConcreteValue(AssumedUpperBound); in getMessage()
42 const llvm::APSInt *getConcreteValue() const { in getConcreteValue() function332 const llvm::APSInt *getConcreteValue() const { in getConcreteValue() function333 return Impl->size() == 1 ? begin()->getConcreteValue() : nullptr; in getConcreteValue()364 const llvm::APSInt *Constant = getConcreteValue(); in encodesFalseRange()
35 static const llvm::APSInt *getConcreteValue(SVal V);1199 if (const llvm::APSInt *Res = getConcreteValue(V)) in getConstValue()1208 const llvm::APSInt *SimpleSValBuilder::getConcreteValue(SVal V) { in getConcreteValue() function in SimpleSValBuilder1227 if (const llvm::APSInt *Res = getConcreteValue(V)) in getMinValue()1240 if (const llvm::APSInt *Res = getConcreteValue(V)) in getMaxValue()
1541 const llvm::APSInt *ConcreteValue = QueriedRangeSet->getConcreteValue(); in getRangeForComparisonSymbol()2019 if (const llvm::APSInt *Const = Constraint.getConcreteValue()) { \2129 if (const llvm::APSInt *Point = NewConstraint.getConcreteValue()) { in assign()2172 if (Constraint.getConcreteValue()) in interpreteAsBool()2173 return !Constraint.getConcreteValue()->isZero(); in interpreteAsBool()2556 if (const llvm::APSInt *Point = SecondConstraint->getConcreteValue()) { in addToDisequalityInfo()2852 if (const llvm::APSInt *Value = Ranges->getConcreteValue()) in checkNull()2870 return T ? T->getConcreteValue() : nullptr; in getSymVal()