HomePhabricator

[analyzer] ExplodedGraph printing fixes

Description

[analyzer] ExplodedGraph printing fixes

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

Differential Revision: https://reviews.llvm.org/D52183

Details

Committed
george.karpenkovSep 17 2018, 1:46 PM
Differential Revision
D52183: [analyzer] ExplodedGraph printing fixes
Branches
Unknown
Tags
Unknown