diff options
Diffstat (limited to 'lib/Analysis')
| -rw-r--r-- | lib/Analysis/BugReporter.cpp | 4 | ||||
| -rw-r--r-- | lib/Analysis/GRState.cpp | 10 | ||||
| -rw-r--r-- | lib/Analysis/RValues.cpp | 7 |
3 files changed, 13 insertions, 8 deletions
diff --git a/lib/Analysis/BugReporter.cpp b/lib/Analysis/BugReporter.cpp index a51f9fb335..b9a0d406a9 100644 --- a/lib/Analysis/BugReporter.cpp +++ b/lib/Analysis/BugReporter.cpp @@ -21,6 +21,7 @@ #include "clang/AST/Expr.h" #include "clang/Analysis/ProgramPoint.h" #include "clang/Analysis/PathDiagnostic.h" +#include "llvm/Support/raw_ostream.h" #include "llvm/ADT/DenseMap.h" #include <sstream> @@ -537,7 +538,8 @@ void GRBugReporter::GeneratePathDiagnostic(PathDiagnostic& PD, continue; } - os << V; + llvm::raw_os_ostream OS(os); + OS << V; } os << ":' at line " diff --git a/lib/Analysis/GRState.cpp b/lib/Analysis/GRState.cpp index f1e07907fd..dd9bf69715 100644 --- a/lib/Analysis/GRState.cpp +++ b/lib/Analysis/GRState.cpp @@ -15,7 +15,7 @@ #include "clang/Analysis/PathSensitive/GRState.h" #include "llvm/ADT/SmallSet.h" #include "clang/Analysis/PathSensitive/GRTransferFuncs.h" - +#include "llvm/Support/raw_ostream.h" using namespace clang; GRStateManager::~GRStateManager() { @@ -274,9 +274,11 @@ void GRState::print(std::ostream& Out, StoreManager& StoreMgr, if (!CE.isEmpty()) { Out << nl << sep << "'==' constraints:"; - for (ConstEqTy::iterator I = CE.begin(), E = CE.end(); I!=E; ++I) - Out << nl << " $" << I.getKey() - << " : " << *I.getData(); + for (ConstEqTy::iterator I = CE.begin(), E = CE.end(); I!=E; ++I) { + Out << nl << " $" << I.getKey(); + llvm::raw_os_ostream OS(Out); + OS << " : " << *I.getData(); + } } // Print != constraints. diff --git a/lib/Analysis/RValues.cpp b/lib/Analysis/RValues.cpp index b372ab3831..56bb250213 100644 --- a/lib/Analysis/RValues.cpp +++ b/lib/Analysis/RValues.cpp @@ -352,7 +352,7 @@ void NonLVal::print(std::ostream& Out) const { switch (getSubKind()) { case nonlval::ConcreteIntKind: - Out << cast<nonlval::ConcreteInt>(this)->getValue(); + Out << cast<nonlval::ConcreteInt>(this)->getValue().getZExtValue(); if (cast<nonlval::ConcreteInt>(this)->getValue().isUnsigned()) Out << 'U'; @@ -369,7 +369,7 @@ void NonLVal::print(std::ostream& Out) const { Out << '$' << C.getConstraint().getSymbol() << ' '; printOpcode(Out, C.getConstraint().getOpcode()); - Out << ' ' << C.getConstraint().getInt(); + Out << ' ' << C.getConstraint().getInt().getZExtValue(); if (C.getConstraint().getInt().isUnsigned()) Out << 'U'; @@ -395,7 +395,8 @@ void LVal::print(std::ostream& Out) const { switch (getSubKind()) { case lval::ConcreteIntKind: - Out << cast<lval::ConcreteInt>(this)->getValue() << " (LVal)"; + Out << cast<lval::ConcreteInt>(this)->getValue().getZExtValue() + << " (LVal)"; break; case lval::SymbolValKind: |