[LLVMbugs] [Bug 10805] New: Control flow graph has possibly incorrect statements with missing source location.

[bugzilla-daemon at llvm.org]

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

           Summary: Control flow graph has possibly incorrect statements
                    with missing source location.
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: delesley at google.com
                CC: llvmbugs at cs.uiuc.edu


The control flow graph for the following code does not seem to be correct.  In
particular, the first statement has no source location.  The problem may be
more serious than that, as the basic block below seems to be missing some
statements, such as the code that loads f from this.  

struct Foomger {
  void operator++();
};

struct Foomgoper {
  Foomger f;

  bool done();
  void invalid_back_edge() {
    do {
      // FIXME: Possible Clang bug:
      // The first statement in this basic block has no source location
      ++f;
    } while (!done());
  }
};

-- 
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.