This is an archive of the discontinued LLVM Phabricator instance.

[analyzer] Highlight sink nodes in red in exploded graph
ClosedPublic

Authored by george.karpenkov on Sep 20 2018, 7:01 PM.

Reviewers

dcoughlin
NoQ

Commits

Maybe use text as well? It's hard to decipher color coding if you're not the one who introduced it.

This revision is now accepted and ready to land.Sep 21 2018, 12:10 PM

This revision was automatically updated to reflect the committed changes.

Path

Size

cfe/

trunk/

lib/

StaticAnalyzer/

Core/

2 lines

	Show First 20 Lines • Show All 2,951 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