From 0055ba00ed1e36dceb4c9b00623a87c4bec18d5e Mon Sep 17 00:00:00 2001
From: sjfink <sjfink@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Thu, 25 Oct 2007 14:07:05 +0000
Subject: [PATCH] add a debug statement

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1954 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 .../src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java       | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java b/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
index 61ae7b4cf..25b4c8fae 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
@@ -272,6 +272,9 @@ public class TabulationSolver<T, P> {
         System.err.println("TABULATE " + edge);
       }
       int j = merge(edge.s_p, edge.d1, edge.n, edge.d2);
+      if (j == -1 && DEBUG_LEVEL > 0) {
+        System.err.println("merge -1: DROPPING");
+      }
       if (j != -1) {
         if (j != edge.d2) {
           // this means that we don't want to push the edge. instead,