This is an archive of the discontinued LLVM Phabricator instance.

	Show First 20 Lines • Show All 991 Lines • ▼ Show 20 Lines
	template<>			template<>
	struct DOTGraphTraits<ExplodedGraph*> : public DefaultDOTGraphTraits {			struct DOTGraphTraits<ExplodedGraph*> : public DefaultDOTGraphTraits {
	DOTGraphTraits (bool isSimple = false) : DefaultDOTGraphTraits(isSimple) {}			DOTGraphTraits (bool isSimple = false) : DefaultDOTGraphTraits(isSimple) {}

	// FIXME: Since we do not cache error nodes in ExprEngine now, this does not			// FIXME: Since we do not cache error nodes in ExprEngine now, this does not
	// work.			// work.
	static std::string getNodeAttributes(const ExplodedNode *N,			static std::string getNodeAttributes(const ExplodedNode *N,
	ExplodedGraph *G) {			ExplodedGraph *G) {
				if (N->isSink())
				return "color=red";
	return {};			return {};
	}			}

	// De-duplicate some source location pretty-printing.			// De-duplicate some source location pretty-printing.
	static void printLocation(raw_ostream &Out,			static void printLocation(raw_ostream &Out,
	SourceLocation SLoc,			SourceLocation SLoc,
	const SourceManager &SM,			const SourceManager &SM,
	StringRef Postfix="\\l") {			StringRef Postfix="\\l") {
	▲ Show 20 Lines • Show All 255 Lines • Show Last 20 Lines

[analyzer] Highlight sink nodes in red in exploded graphClosedPublic