Page MenuHomePhabricator

[analyzer] ExplodedGraph printing fixes
ClosedPublic

Authored by george.karpenkov on Sep 17 2018, 12:16 PM.

Details

Summary

Fixes a number of issues:

  • Global variables are not used for communication
  • Trait should be defined on a graph, not on a node
  • Defining the trait on a graph allows us to use a correct allocator, no longer crashing while printing trimmed graphs

Diff Detail

Repository
rC Clang

Event Timeline

NoQ accepted this revision.Sep 17 2018, 1:43 PM

Yeah, these globals were weird.

This revision is now accepted and ready to land.Sep 17 2018, 1:43 PM
Closed by commit rC342413: [analyzer] ExplodedGraph printing fixes (authored by george.karpenkov, committed by ). · Explain Why
This revision was automatically updated to reflect the committed changes.
This revision was automatically updated to reflect the committed changes.