Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also...
Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also have it based on adding predecessors/successors, not node allocation. No measurable performance change. llvm-svn: 150720
Loading
Please register or sign in to comment