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: [email protected]
ReportedBy: [email protected]
CC: [email protected]
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.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
