This is an archive of the discontinued LLVM Phabricator instance.

	Show First 20 Lines • Show All 384 Lines • ▼ Show 20 Lines
	class ConcreteInt : public NonLoc {			class ConcreteInt : public NonLoc {
	public:			public:
	explicit ConcreteInt(const llvm::APSInt& V) : NonLoc(ConcreteIntKind, &V) {}			explicit ConcreteInt(const llvm::APSInt& V) : NonLoc(ConcreteIntKind, &V) {}

	const llvm::APSInt& getValue() const {			const llvm::APSInt& getValue() const {
	return static_cast<const llvm::APSInt >(Data);			return static_cast<const llvm::APSInt >(Data);
	}			}

	// Transfer functions for binary/unary operations on ConcreteInts.			// Transfer functions for unary operations on ConcreteInts.
	SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
	const ConcreteInt& R) const;

	ConcreteInt evalComplement(SValBuilder &svalBuilder) const;			ConcreteInt evalComplement(SValBuilder &svalBuilder) const;

	ConcreteInt evalMinus(SValBuilder &svalBuilder) const;			ConcreteInt evalMinus(SValBuilder &svalBuilder) const;

	private:			private:
	friend class SVal;			friend class SVal;

	ConcreteInt() = default;			ConcreteInt() = default;
	▲ Show 20 Lines • Show All 265 Lines • Show Last 20 Lines

clang/lib/StaticAnalyzer/Core/SVals.cpp

	Show First 20 Lines • Show All 270 Lines • ▼ Show 20 Lines
	bool SVal::isZeroConstant() const {			bool SVal::isZeroConstant() const {
	return isConstant(0);			return isConstant(0);
	}			}

	//===----------------------------------------------------------------------===//			//===----------------------------------------------------------------------===//
	// Transfer function dispatch for Non-Locs.			// Transfer function dispatch for Non-Locs.
	//===----------------------------------------------------------------------===//			//===----------------------------------------------------------------------===//

	SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder,
	BinaryOperator::Opcode Op,
	const nonloc::ConcreteInt& R) const {
	const llvm::APSInt* X =
	svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue());

	if (X)
	return nonloc::ConcreteInt(*X);
	else
	return UndefinedVal();
	}

	nonloc::ConcreteInt			nonloc::ConcreteInt
	nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const {			nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const {
	return svalBuilder.makeIntVal(~getValue());			return svalBuilder.makeIntVal(~getValue());
	}			}

	nonloc::ConcreteInt			nonloc::ConcreteInt
	nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const {			nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const {
	return svalBuilder.makeIntVal(-getValue());			return svalBuilder.makeIntVal(-getValue());
	▲ Show 20 Lines • Show All 115 Lines • Show Last 20 Lines