//===-- GRConstants.cpp - Simple, Path-Sens. Constant Prop. ------*- C++ -*-==//
-//
+//
// The LLValM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
break;
case LValueDeclKind:
- Out << cast<LValueDecl>(this)->getDecl()->getIdentifier();
+ Out << '&'
+ << cast<LValueDecl>(this)->getDecl()->getIdentifier()->getName();
break;
default:
break;
}
+ case UnaryOperator::AddrOf: {
+ const LValue& L1 = GetLValue(St, U->getSubExpr());
+ Nodify(Dst, U, N1, SetValue(St, U, L1));
+ break;
+ }
+
+ case UnaryOperator::Deref: {
+ const LValue& L1 = GetLValue(St, U->getSubExpr());
+ Nodify(Dst, U, N1, SetValue(St, U, GetValue(St, L1)));
+ break;
+ }
+
default: ;
assert (false && "Not implemented.");
}
}
}
- Out << "\\|";
+ Out << "\\|StateID: " << (void*) N->getState().getRoot() << "\\|";
PrintKind(Out, N->getState(), ValueKey::IsDecl, true);
PrintKind(Out, N->getState(), ValueKey::IsBlkExpr);