Make assertions for all addresses passed to ProgramPoint that they have at least an 8-byte alignment.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50310 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/ProgramPoint.cpp b/lib/Analysis/ProgramPoint.cpp
index c089e48..d95680f 100644
--- a/lib/Analysis/ProgramPoint.cpp
+++ b/lib/Analysis/ProgramPoint.cpp
@@ -19,15 +19,14 @@
BlockEdge::BlockEdge(CFG& cfg, const CFGBlock* B1, const CFGBlock* B2) {
if (B1->succ_size() == 1) {
assert (*(B1->succ_begin()) == B2);
- Data = reinterpret_cast<uintptr_t>(B1) | BlockEdgeSrcKind;
+ setRawData(B1, BlockEdgeSrcKind);
}
else if (B2->pred_size() == 1) {
assert (*(B2->pred_begin()) == B1);
- Data = reinterpret_cast<uintptr_t>(B2) | BlockEdgeDstKind;
+ setRawData(B2, BlockEdgeDstKind);
}
else
- Data = reinterpret_cast<uintptr_t>(cfg.getBlockEdgeImpl(B1,B2))
- | BlockEdgeAuxKind;
+ setRawData(cfg.getBlockEdgeImpl(B1,B2), BlockEdgeAuxKind);
}
CFGBlock* BlockEdge::getSrc() const {