[LLVMbugs] [Bug 16400] New: False positive in checker: Function call argument is an uninitialized value

[bugzilla-daemon at llvm.org]

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

            Bug ID: 16400
           Summary: False positive in checker: Function call argument is
                    an uninitialized value
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: me at moshekaplan.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Created attachment 10725
  --> http://llvm.org/bugs/attachment.cgi?id=10725&action=edit
wireshark/tshark.c Line: 2721

Tested with clang r184521 on Ubuntu 13.04, x86.

Clang claims that one of the arguments of a function call is uninitialized.

However, it only reaches that code path after:

"Assuming 'do_dissection' is 0", and
"Assuming 'do_dissection' is not equal to 0",

with no usage or access of do_dissection in between.

do_dissection is a "static gboolean", and if you examine the docs:

( http://svn.abisource.com/wv/tags/release-version-0-7-11/glib-wv/glib.h )

typedef int    gint;
typedef gint   gboolean;

So to my understanding, a gboolean is effectively an int.

The attached file is tshark.c from wireshark r50104.

-- 
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/20130621/a9b91b3c/attachment.html>