[LLVMbugs] [Bug 8834] New: Assertion `false && "Subtype of ScopedDecl not handled."' failed.

[bugzilla-daemon at llvm.org]

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

           Summary: Assertion `false && "Subtype of ScopedDecl not
                    handled."' failed.
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: zilla at kayari.org
                CC: llvmbugs at cs.uiuc.edu


The following code makes "clang++ --analyze" dump core

$ cat cr.cc
namespace a { }

void f() {
    using namespace a;
}
$ 
$ 
$ clang++ --analyze cr.cc
clang:
/home/redi/src/llvm/llvm/tools/clang/lib/Analysis/../../include/clang/Analysis/Visitors/CFGRecStmtDeclVisitor.h:70:
void clang::CFGRecStmtDeclVisitor<ImplClass>::VisitDecl(clang::Decl*) [with
ImplClass = <unnamed>::RegisterDecls]: Assertion `false && "Subtype of
ScopedDecl not handled."' failed.
0  clang           0x000000000143709f
1  clang           0x0000000001439302
2  libpthread.so.0 0x0000003848e0e4c0
3  libc.so.6       0x0000003848230215 gsignal + 53
4  libc.so.6       0x0000003848231cc0 abort + 272
5  libc.so.6       0x0000003848229696 __assert_fail + 246
6  clang           0x0000000000b94030
7  clang           0x0000000000b94568
8  clang           0x0000000000b967bc
clang::LiveVariables::LiveVariables(clang::AnalysisContext&, bool) + 508
9  clang           0x0000000000b7c0af
clang::AnalysisContext::getLiveVariables() + 95
10 clang           0x0000000000a8895b
11 clang           0x0000000000a89ba9
12 clang           0x0000000000a8abf3
13 clang           0x00000000008335bd clang::ParseAST(clang::Sema&, bool) + 301
14 clang           0x0000000000602a95
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 357
15 clang           0x00000000005e14cc
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 1276
16 clang           0x00000000005d92cb cc1_main(char const**, char const**, char
const*, void*) + 475
17 clang           0x00000000005e05e5 main + 4133
18 libc.so.6       0x000000384821d974 __libc_start_main + 244
19 clang           0x00000000005d7bd9
Stack dump:
0.      Program arguments: /home/redi/tools/Linux-x86_64/bin/clang -cc1 -triple
x86_64-unknown-linux-gnu -analyze -disable-free -main-file-name cr.cc
-analyzer-store=region -analyzer-opt-analyze-nested-blocks
-analyzer-check-dead-stores -analyzer-check-objc-mem -analyzer-eagerly-assume
-analyzer-check-objc-methodsigs -analyzer-check-objc-unused-ivars
-analyzer-check-idempotent-operations -analyzer-output plist -w
-mrelocation-model static -mdisable-fp-elim -masm-verbose -mconstructor-aliases
-munwind-tables -target-cpu x86-64 -target-linker-version 2.17.50.0.6
-resource-dir /home/redi/tools/Linux-x86_64/bin/../lib/clang/2.9 -ferror-limit
19 -fmessage-length 80 -fexceptions -fgnu-runtime -fdiagnostics-show-option
-fcolor-diagnostics -o cr.plist -x c++ cr.cc
1.      <eof> parser at end of file
clang: error: unable to execute command: Aborted (core dumped)
clang: error: clang frontend command failed due to signal 1 (use -v to see
invocation)
$ 
$ 
$ clang++ -v
clang version 2.9 (trunk 121966)
Target: x86_64-unknown-linux-gnu
Thread model: posix

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