[LLVMbugs] [Bug 8962] New: Static analyzer fail on GTK g_return_if_fail

[bugzilla-daemon at llvm.org]

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

           Summary: Static analyzer fail on GTK g_return_if_fail
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: batolettre at gmail.com
                CC: llvmbugs at cs.uiuc.edu


Static analyzer fail to understand the g_return_if_fail from GTK and trigger a
"dereference of a null pointer" error.

Example below:
http://pellelatarte.fr/dawa/gimp-llvm/report-SqiBmn.html#EndPath

Analyzer from trunk, compiled the 10 january 2011.

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