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

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Tue Jul 8 07:25:50 PDT 2008


           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.

More information about the llvm-bugs mailing list