This is an archive of the discontinued LLVM Phabricator instance.

Show First 20 Lines • Show All 148 Lines • ▼ Show 20 Lines	public:
}		}

bool isConstant() const;		bool isConstant() const;

bool isConstant(int I) const;		bool isConstant(int I) const;

bool isZeroConstant() const;		bool isZeroConstant() const;

/// hasConjuredSymbol - If this SVal wraps a conjured symbol, return true;
bool hasConjuredSymbol() const;

/// getAsFunctionDecl - If this SVal is a MemRegionVal and wraps a		/// getAsFunctionDecl - If this SVal is a MemRegionVal and wraps a
/// CodeTextRegion wrapping a FunctionDecl, return that FunctionDecl.		/// CodeTextRegion wrapping a FunctionDecl, return that FunctionDecl.
/// Otherwise return 0.		/// Otherwise return 0.
const FunctionDecl *getAsFunctionDecl() const;		const FunctionDecl *getAsFunctionDecl() const;

/// If this SVal is a location and wraps a symbol, return that		/// If this SVal is a location and wraps a symbol, return that
/// SymbolRef. Otherwise return 0.		/// SymbolRef. Otherwise return 0.
///		///
▲ Show 20 Lines • Show All 494 Lines • Show Last 20 Lines

clang/lib/StaticAnalyzer/Core/SVals.cpp

	Show All 37 Lines
	//===----------------------------------------------------------------------===//			//===----------------------------------------------------------------------===//
	// Symbol iteration within an SVal.			// Symbol iteration within an SVal.
	//===----------------------------------------------------------------------===//			//===----------------------------------------------------------------------===//

	//===----------------------------------------------------------------------===//			//===----------------------------------------------------------------------===//
	// Utility methods.			// Utility methods.
	//===----------------------------------------------------------------------===//			//===----------------------------------------------------------------------===//

	bool SVal::hasConjuredSymbol() const {
	if (Optional<nonloc::SymbolVal> SV = getAs<nonloc::SymbolVal>()) {
	SymbolRef sym = SV->getSymbol();
	if (isa<SymbolConjured>(sym))
	return true;
	}

	if (Optional<loc::MemRegionVal> RV = getAs<loc::MemRegionVal>()) {
	const MemRegion *R = RV->getRegion();
	if (const auto *SR = dyn_cast<SymbolicRegion>(R)) {
	SymbolRef sym = SR->getSymbol();
	if (isa<SymbolConjured>(sym))
	return true;
	}
	}

	return false;
	}

	const FunctionDecl *SVal::getAsFunctionDecl() const {			const FunctionDecl *SVal::getAsFunctionDecl() const {
	if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) {			if (Optional<loc::MemRegionVal> X = getAs<loc::MemRegionVal>()) {
	const MemRegion* R = X->getRegion();			const MemRegion* R = X->getRegion();
	if (const FunctionCodeRegion *CTR = R->getAs<FunctionCodeRegion>())			if (const FunctionCodeRegion *CTR = R->getAs<FunctionCodeRegion>())
	if (const auto *FD = dyn_cast<FunctionDecl>(CTR->getDecl()))			if (const auto *FD = dyn_cast<FunctionDecl>(CTR->getDecl()))
	return FD;			return FD;
	}			}

	▲ Show 20 Lines • Show All 315 Lines • Show Last 20 Lines

This is an archive of the discontinued LLVM Phabricator instance.

[analyzer][NFC] Remove unused SVal::hasConjuredSymbolClosedPublic

Details

Diff Detail

Event Timeline

Revision Contents

Diff 431344

clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h

clang/lib/StaticAnalyzer/Core/SVals.cpp

[analyzer][NFC] Remove unused SVal::hasConjuredSymbol
ClosedPublic