[LLVMbugs] [Bug 2531] New: static analyzer doesn't understand va_start

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: static analyzer doesn't understand va_start
           Product: clang
           Version: unspecified
          Platform: Other
        OS/Version: FreeBSD
            Status: NEW
          Severity: major
          Priority: P2
         Component: Semantic Analyzer
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: cperciva at freebsd.org
                CC: llvmbugs at cs.uiuc.edu


Running scan-build on code which uses va_start results in a false positive bug
report of "Pass-by-value argument in function is undefined."

Presumably the relevant code just needs to be taught that va_start and va_end
are "special".


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