[LLVMbugs] [Bug 16308] New: Static analyzer crashes when casting from an incomplete struct

[bugzilla-daemon at llvm.org]

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

            Bug ID: 16308
           Summary: Static analyzer crashes when casting from an
                    incomplete struct
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: labath at google.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Created attachment 10668
  --> http://llvm.org/bugs/attachment.cgi?id=10668&action=edit
Error message, backtrace

Clang static analyzer crashes when processing the following file:
-------
struct A;

struct B{ virtual ~B(); };

class B2 : public B { };

void f(A *a) {
  B *b=(B *)a;
  B2 *b2=dynamic_cast<B2 *>(b);
}
-------

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20130612/af56cac8/attachment.html>