[LLVMbugs] [Bug 16131] New: Analyzer crashes with assertion Ex->isGLValue()

[bugzilla-daemon at llvm.org]

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

            Bug ID: 16131
           Summary: Analyzer crashes with assertion Ex->isGLValue()
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: magnus.reftel at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Created attachment 10576
  --> http://llvm.org/bugs/attachment.cgi?id=10576&action=edit
testcase files produced by clang

The Clang Static Analyzer (at least in revisions between 180916 and 182628, but
not the 3.2 version shipped by Ubuntu) aborts due to an assertion when run on
the following code:

extern void v;
static void f(void) {
        &v;
}

The failing assertion is:

clang: ExprEngine.cpp:1616: void
clang::ento::ExprEngine::VisitCommonDeclRefExpr(const clang::Expr *, const
clang::NamedDecl *, clang::ento::ExplodedNode *, clang::ento::ExplodedNodeSet
&): Assertion `Ex->isGLValue()' failed.

-- 
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/20130524/bd31572e/attachment.html>