Debug Info Verifier: verify SPs in llvm.dbg.sp.

Also always add DIType, DISubprogram and DIGlobalVariable to the list
in DebugInfoFinder without checking them, so we can verify them later
on.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@187285 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Manman Ren
2013-07-27 01:26:08 +00:00
parent b66d765993
commit 2d69cc4bae
38 changed files with 209 additions and 164 deletions

View File

@ -908,6 +908,10 @@ void DebugInfoFinder::processModule(const Module &M) {
return;
}
}
if (NamedMDNode *SP_Nodes = M.getNamedMetadata("llvm.dbg.sp")) {
for (unsigned i = 0, e = SP_Nodes->getNumOperands(); i != e; ++i)
processSubprogram(DISubprogram(SP_Nodes->getOperand(i)));
}
}
/// processLocation - Process DILocation.
@ -1029,7 +1033,7 @@ void DebugInfoFinder::processValue(const DbgValueInst *DVI) {
/// addType - Add type into Tys.
bool DebugInfoFinder::addType(DIType DT) {
if (!DT.isValid())
if (!DT)
return false;
if (!NodesSeen.insert(DT))
@ -1041,6 +1045,8 @@ bool DebugInfoFinder::addType(DIType DT) {
/// addCompileUnit - Add compile unit into CUs.
bool DebugInfoFinder::addCompileUnit(DICompileUnit CU) {
if (!CU)
return false;
if (!NodesSeen.insert(CU))
return false;
@ -1050,7 +1056,7 @@ bool DebugInfoFinder::addCompileUnit(DICompileUnit CU) {
/// addGlobalVariable - Add global variable into GVs.
bool DebugInfoFinder::addGlobalVariable(DIGlobalVariable DIG) {
if (!DIDescriptor(DIG).isGlobalVariable())
if (!DIG)
return false;
if (!NodesSeen.insert(DIG))
@ -1062,7 +1068,7 @@ bool DebugInfoFinder::addGlobalVariable(DIGlobalVariable DIG) {
// addSubprogram - Add subprgoram into SPs.
bool DebugInfoFinder::addSubprogram(DISubprogram SP) {
if (!DIDescriptor(SP).isSubprogram())
if (!SP)
return false;
if (!NodesSeen.insert(SP))