Author: zhongxingxu
Date: Sun Nov 9 23:00:06 2008
New Revision: 58965
URL: http://llvm.org/viewvc/llvm-project?rev=58965&view=rev
Log:
Print integer value instead of raw pointer. This is a hack to be fixed by
migrating the output in analyzer to llvm::raw_ostream.
Modified:
cfe/trunk/lib/Analysis/BasicConstraintManager.cpp
Modified: cfe/trunk/lib/Analysis/BasicConstraintManager.cpp
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/BasicConstraintManager.cpp?rev=58965&r1=58964&r2=58965&view=diff
==============================================================================
--- cfe/trunk/lib/Analysis/BasicConstraintManager.cpp (original)
+++ cfe/trunk/lib/Analysis/BasicConstraintManager.cpp Sun Nov 9 23:00:06 2008
@@ -258,8 +258,6 @@
} // end switch
}
-
-
const GRState*
BasicConstraintManager::AssumeSymNE(const GRState* St, SymbolID sym,
const llvm::APSInt& V, bool& isFeasible) {
@@ -481,7 +479,7 @@
if (isFirst) isFirst = false;
else Out << ", ";
- Out << *J;
+ Out << (*J)->getSExtValue(); // Hack: should print to raw_ostream.
}
}
}
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
