HomePhabricator

[analyzer] ExplodedGraph printing fixes

Authored by george.karpenkov on Sep 17 2018, 1:46 PM.

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

llvm-svn: 342413

Details

Committed
george.karpenkovSep 17 2018, 1:46 PM
Differential Revision
D52183: [analyzer] ExplodedGraph printing fixes
Parents
rGb1f9e4d285c5: [MC] Avoid inlining constant symbols with variants.
Branches
Unknown
Tags
Unknown