replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Make assertions for all addresses passed to ProgramPoint that they have at least an 8-byte alignment. 

llvm-svn: 50310
This commit is contained in:
Argyrios Kyrtzidis 2008-04-26 15:19:51 +00:00
parent 67ca6f6347
commit fa2d2f2886
2 changed files with 11 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
clang/include/clang/Analysis/ProgramPoint.h
View File

@ -31,14 +31,18 @@ protected:
uintptr_t Data;
ProgramPoint(const void* Ptr, Kind k) {
setRawData(Ptr, k);
}
ProgramPoint() : Data(0) {}
void setRawData(const void* Ptr, Kind k) {
assert ((reinterpret_cast<uintptr_t>(const_cast<void*>(Ptr)) & 0x7) == 0
&& "Address must have at least an 8-byte alignment.");
Data = reinterpret_cast<uintptr_t>(const_cast<void*>(Ptr)) | k;
}
ProgramPoint() : Data(0) {}
public:
unsigned getKind() const { return Data & 0x7; }
void* getRawPtr() const { return reinterpret_cast<void*>(Data & ~0x7); }
@ -114,10 +118,8 @@ public:
/// This ctor forces the BlockEdge to be constructed using an explicitly
/// allocated pair object that is stored in the CFG. This is usually
/// used to construct edges representing jumps using computed gotos.
BlockEdge(CFG& cfg, const CFGBlock* B1, const CFGBlock* B2, bool) {
Data = reinterpret_cast<uintptr_t>(cfg.getBlockEdgeImpl(B1, B2))
| BlockEdgeAuxKind;
}
BlockEdge(CFG& cfg, const CFGBlock* B1, const CFGBlock* B2, bool)
: ProgramPoint(cfg.getBlockEdgeImpl(B1, B2), BlockEdgeAuxKind) {}
CFGBlock* getSrc() const;

7
clang/lib/Analysis/ProgramPoint.cpp
View File

@ -19,15 +19,14 @@ using namespace clang;
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 {