[LLVMbugs] [Bug 7104] New: Assertion `D.Verify() && "invalid DIVariable passed to dbg.declare"' failed

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=7104

           Summary: Assertion `D.Verify() && "invalid DIVariable passed to
                    dbg.declare"' failed
           Product: new-bugs
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: baldrick at free.fr
                CC: llvmbugs at cs.uiuc.edu


$ llvm-gcc -S -g ptrtomember-overload-resolution.cpp
cc1plus: llvm/lib/Analysis/DebugInfo.cpp:1138: llvm::Instruction*
llvm::DIFactory::InsertDeclare(llvm::Value*, llvm::DIVariable,
llvm::BasicBlock*): Assertion `D.Verify() && "invalid DIVariable passed to
dbg.declare"' failed.


struct A {
int Ai;
}; 

struct B : public A {}; 
struct C : public B {}; 

const char * f(int C::*){ return ""; } 
int f(int B::*) { return 1; } 

struct D : public C {}; 

const char * g(int B::*){ return ""; } 
int g(int D::*) { return 1; } 

void test() 
{
  int i = f(&A::Ai);

  const char * str = g(&A::Ai);
}

// conversion of B::* to C::* is better than conversion of A::* to C::*
typedef void (A::*pmfa)();
typedef void (B::*pmfb)();
typedef void (C::*pmfc)();

struct X {
    operator pmfa();
    operator pmfb();
};


void g(pmfc);

void test2(X x) 
{
    g(x);
}

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.