[LLVMbugs] [Bug 6844] New: analyzer crash when using C stdarg

[bugzilla-daemon at llvm.org]

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

           Summary: analyzer crash when using C stdarg
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: jultay108 at googlemail.com
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=4685)
 --> (http://llvm.org/bugs/attachment.cgi?id=4685)
failure logs from the scan directory

using svn: 101364, Debug

clangs static analyzer crashes when it checks a C function using variable
number of arguments (from stdarg.h)

testcase:
#include <stdarg.h>
void
map(int srcID, ...)
{
  va_list             ap;
  int                 i;

  va_start(ap, srcID);
  for (i = 0; i < srcID; i++) {
    int v = va_arg(ap, int);
  }
  va_end(ap);
}

called with:
scan-build gcc -std=c99 -c file.c

logs attached

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